Converting version properties to integers