big_fdiv         6135 bignum.c           return big_fdiv(x, y, ey);
big_fdiv         6143 bignum.c           return big_fdiv(x, y, i - DBL_MANT_DIG);