DBL_MAX_10_EXP     53 numeric.c      #define DBL_MAX_10_EXP 308
DBL_MAX_10_EXP    873 util.c         #define DBL_MAX_10_EXP 308
DBL_MAX_10_EXP    880 util.c         #define DBL_MAX_10_EXP 75
DBL_MAX_10_EXP    888 util.c         #define DBL_MAX_10_EXP 38