Por um acaso, no versionamento costuma se usar ponto e não vírgula, portanto acho que não estamos falando de marcador decimal.
Contando: 8.0, 8.1, 8.2, 8.3, 8.4, 8.5, 8.6, 8.7, 8.8, 8.9, 8.10, 8.11...
Tenho uma leve impressão de que 8.10 não é igual a 8.1.