Add float.h because DBL_MAX