Avoid using a floating point value to represent the version, since "10.10" would be treated as "10.1".