The Mill CPU that Mill Computing is developing, has signalling integer instructions.  In fact, each integer operation has four modes that one can choose from: ignore, saturate, excepting and widening.
The widening mode has a result that is double-wide as the operands width and hence never overflows.<p>The Mill CPU is not available yet so have a little patience.