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...