max(i64 / i)
