(i32 + i32) / i64
