mpz_get_d         253 lib/mini-gmp.h double mpz_get_d (const mpz_t);
mpz_get_d         390 src/bignum.c       return mpz_get_d (num);
mpz_get_d         686 src/timefns.c    return scalbn (mpz_get_d (*q), -scale);