Added cfloat header