draft of signed saturated addition