Added testcases for subtraction
Corrected bug in missing IntegerCoercion on subtraction, mult, div, mody