Use int64 instead of uint64.