mpz_get_str      4429 maint/gnulib/lib/mini-gmp.c   str = mpz_get_str (NULL, base, x);
mpz_get_str       277 maint/gnulib/lib/mini-gmp.h char *mpz_get_str (char *, int, const mpz_t);