writing tests for subtraction code.
ATTENTION: there might be a problem with the sign of the result when it is padded with zeros