export cfloat cast