implemented signed saturated subtraction, factored out common code