Add standalone saturating_add(), saturating_sub(), and saturating_mul() free functions for integral types. The signed implementations are fully branchless, using __builtin_add/sub/mul_overflow combined with bitmask selection.
