mpz_set_uintmax_slow   46 src/bignum.h   extern void mpz_set_uintmax_slow (mpz_t, uintmax_t) ARG_NONNULL ((1));
mpz_set_uintmax_slow   82 src/bignum.h       mpz_set_uintmax_slow (result, v);