Write a FLOAT as a float (as opposed to a double) when that yields the same value