make version an int