fmpz_mod_2x() test passes