Implement the "-" operation

The benchmarks seem unaffected by this PR.