Comment by cjlarose

Interestingly, arithmetic on the Mill CPU does this (at the machine level instead of at the language level). You can get modulo addition, saturating addition, widening addition, and excepting addition.

http://millcomputing.com/wiki/Instruction_Set_by_Category#Si...