dbl2big          1138 bignum.c           return bignorm(dbl2big(d));
dbl2big          2008 bignum.c       	    y = dbl2big(ldexp(frexp(RFLOAT_VALUE(y), &ey), DBL_MANT_DIG));