Some thoughts about version numbers