Use mpz_get_str() instead of gmp_sprintf().