mpz_mod_2x() test passes