https://dev-doc.rust-lang.org/stable/core/intrinsics/fn.saturating_sub.html
saturating_sub in core::intrinsics - Rust
Computes `a - b`, saturating at numeric bounds.
sub insaturatingcoreintrinsicsrust
https://forum.modular.com/t/feature-request-overflow-and-saturating-arithmetic/3496
[Feature Request] Overflow and Saturating Arithmetic - Language Design - Modular
Sep 15, 2026 - Multi-precision integer arithmetic (BigInt, cryptographic field arithmetic) cannot be implemented efficiently without carry/borrow propagation and double-word...
feature requestsaturating arithmeticoverflowlanguagedesign