More faithful implementation of operations, obvious failing test case on
subtraction.