&gt; In this case, our conventional languages provide no way for a programmer to say &quot;I care about overflow&quot;.<p>GCC and clang have builtin operations that return whether they overflowed (bool __builtin_add_overflow(T a, T b, T* out), etc.). Similarly, Rust has wrapping, checked and saturating versions of all of the operations as methods on the integer types.