Constrained arithmetic, derive all from only addition operator
Merge pull request #25 from dpflann/dsa

Constrained arithmetic, derive all operators from only addition operator