Try to factorize the specification of saturating add/subtract operations a bit,