max(i64 % i32)
