Changed int conversion in Version class