code: def version(self, version):
          
          if isinstance(version, type_check):
              self._version = int(version)
          elif isinstance(version, int):
              self._version = version
docs: Cast string versions to int (if read from a file etc)