@jcoglan well, there are countably many computer programs, so having uncountably many version numbers would be overkill