float_dig         766 numeric.c      enum {float_dig = DBL_DIG+1};
float_dig        2014 numeric.c      enum {float_dig = DBL_DIG+2};