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);