Make the implementation of addition uniform
Add subtraction