i64 <= i / i64
