faster modular_inverse64