Fix for missing DBL_MAX error