Why no DBL_EPSILON here?