Adds substractSpec.
Fixes zero bug for SignOpSpec.
Fixes bug on addition with second integer negative.
Fixes bug on substracting from zero.