use C floating point