I think they should use the Chrome/Firefox numbering system. Every time you put out an update that's big enough for users to be affected, increase the integer by one. It's the most intuitive system to humans.