saturating_add() and more in Rust