fix M_modified calculation
untested procedure mpz_mod_2x()