DBL_MAX            39 numeric.c      #define DBL_MAX 1.7976931348623157e+308
DBL_MAX           795 util.c         #define DBL_MAX 7.2370055773322621e+75
DBL_MAX           803 util.c         #define DBL_MAX 1.7014118346046923e+38