i <= i64 % i32
