数字操作的溢出行为

https://doc.rust-lang.org/std/num/struct.Saturating.html

当涉及整数的算术操作超过最大值或最小值时，结果设置为最大值或最小值。 这被称为“饱和”

https://doc.rust-lang.org/std/num/struct.Wrapping.html

当溢出或超过最大值或最小值的任何数量被缠绕到相反的极端。 这被称为“包装”。

https://docs.rs/checked/latest/checked/

超过最大值或最小值保留 None 结果，这称为 Checked