i64 % max(i32)
