fix straightforward_mr32
faster modular_inverse64