Constrained arithmetic, derive all from only addition operator