int(i64 / i)
