I agree, I just think that actual representation of the number is better, and should have a higher priority than a decimal dot not to misinterpret it as an integer.
Adding ".0" to the number if it's missing should be easy enough, so there isn't any reason not to have both, is there?