mpz_set_d        1757 lib/mini-gmp.c   mpz_set_d (r, x);
mpz_set_d         269 lib/mini-gmp.h void mpz_set_d (mpz_t, double);
mpz_set_d          85 src/bignum.c     mpz_set_d (mpz[0], d);
mpz_set_d         394 src/floatfns.c       mpz_set_d (*t, scalbn (XFLOAT_DATA (n), nscale));