- Make lowering of "add with overflow" customizable by back-ends.