问：有没有哪个 crate 提供了将 arithmetic expression 转换为对应的带溢出检查的表达式的 macro？

例：
假如 a, b, c 均为 i32, 可将 (a+b)*c 转换为 a.checked_add(b).and_then(i32::checked_add).unwrap()