Fix a problem with rounding in inequality

Sometimes, it didn't round the numbers correctly, so when it added them
they would be added wrong. This rounds them before adding, so they work
correctly.

Auditors: alpert