DBL_MAX            41 numeric.c      #define DBL_MAX 1.7976931348623157e+308
DBL_MAX           883 util.c         #define DBL_MAX 7.2370055773322621e+75
DBL_MAX           891 util.c         #define DBL_MAX 1.7014118346046923e+38