Correctly account for negative values in adder.
Add test for more complex floating point error.

Currently fails, due to implementiation being very naive.