DBL_MAX_EXP        47 numeric.c      #define DBL_MAX_EXP 1024
DBL_MAX_EXP       874 util.c         #define DBL_MAX_EXP 1024
DBL_MAX_EXP       881 util.c         #define DBL_MAX_EXP 63
DBL_MAX_EXP       889 util.c         #define DBL_MAX_EXP 127