When the DatenLord code is stabilized, `OverflowArithmetic` should use `wrapping_*` instead of `overflowing_*`.