mpz_foo() functions are really called __gmpz_foo() in GMP