add tests for negative integers
implement "-"