Make a floating-point constant a float type