amend VersionToInt64 and Int64ToVerInfo