float_dig         767 numeric.c          char buf[float_dig + (decimal_mant + CHAR_BIT - 1) / CHAR_BIT + 10];
float_dig        2037 numeric.c      	(ndigits >= float_dig - (binexp > 0 ? binexp / 4 : binexp / 3 - 1))) {