The modular inverse via Gauss not Euclid