Constrained arithmetic, derive all operators from only addition operator