mpz_set_d        1755 maint/gnulib/lib/mini-gmp.c   mpz_set_d (r, x);
mpz_set_d         269 maint/gnulib/lib/mini-gmp.h void mpz_set_d (mpz_t, double);