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... -- You received this bug notification because you are a member of Kubuntu Bugs, which is subscribed to qtcreator in Ubuntu. https://bugs.launchpad.net/bugs/1214618 Title: apparmor policy_version is incorrectly set To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/qtcreator/+bug/1214618/+subscriptions -- kubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/kubuntu-bugs
