mpz_set_intmax_slow   45 src/bignum.h   extern void mpz_set_intmax_slow (mpz_t, intmax_t) ARG_NONNULL ((1));
mpz_set_intmax_slow   74 src/bignum.h       mpz_set_intmax_slow (result, v);