dbl2big          5205 bignum.c           return bignorm(dbl2big(d));
dbl2big          6142 bignum.c           y = dbl2big(ldexp(frexp(RFLOAT_VALUE(y), &i), DBL_MANT_DIG));