mpz_set_str      4420 maint/gnulib/lib/mini-gmp.c   return mpz_set_str (r, sp, base);
mpz_set_str       278 maint/gnulib/lib/mini-gmp.h int mpz_set_str (mpz_t, const char *, int);