mpz_get_d_rounded   75 src/bignum.c     return mpz_get_d_rounded (*xbignum_val (n));
mpz_get_d_rounded   53 src/bignum.h   extern double mpz_get_d_rounded (mpz_t const) ATTRIBUTE_CONST;
mpz_get_d_rounded 3157 src/data.c     				   mpz_get_d_rounded (*accum), val);