DBL_MAX_EXP        45 numeric.c      #define DBL_MAX_EXP 1024
DBL_MAX_EXP       786 util.c         #define DBL_MAX_EXP 1024
DBL_MAX_EXP       793 util.c         #define DBL_MAX_EXP 63
DBL_MAX_EXP       801 util.c         #define DBL_MAX_EXP 127