Don't need <cfloat> now..