mpz_get_str      4437 lib/mini-gmp.c   str = mpz_get_str (NULL, base, x);
mpz_get_str       277 lib/mini-gmp.h char *mpz_get_str (char *, int, const mpz_t);
mpz_get_str       394 src/bignum.c     mpz_get_str (buf, 10, num);
mpz_get_str       408 src/bignum.c     mpz_get_str (buf, base, *xbignum_val (num));