DBL_MAX is defined in float.h