Comment 4 for bug 1214618

JSON cannot store the decimals of a number if those are all zero. Therefore x.0 will always be stored as x. If we need to store the decimals (i.e. major.minor format), then we need to store it as strings. You could then convert those strings into float.

On the other hand, just wondering, shouldn't we also deal with subversions, i.e. major.minor.subversion? This format cannot ever be stored in a numeric field for sure...