amend version convert uint64