mpz_Z_hR