DBL_MAX_10_EXP     51 numeric.c      #define DBL_MAX_10_EXP 308
DBL_MAX_10_EXP    785 util.c         #define DBL_MAX_10_EXP 308
DBL_MAX_10_EXP    792 util.c         #define DBL_MAX_10_EXP 75
DBL_MAX_10_EXP    800 util.c         #define DBL_MAX_10_EXP 38