A little off topic, but that got me thinking... Is there actually any major software that is still using decimal version numbers? So that, for example, 1.1 < 1.12 < 1.2?
Wikipedia [1] says it was common in the 1980s, but gives two only two modern examples: Opera and Movable Type. And even that seems to be outdated. Neither of them uses decimal version numbers any more. Can you think of any others?