Yes `int64_t` is the right choice here, ty for pointing the mistake.