Adding explicit cast for int64 to uint64