Include float.h on platforms that don't have DBL_MAX defined in limits.h