i32 <= i % i64
