-(i64 - i32)
