Please read this commit message.

Fixed supposed "rounding" bug. Discovered another rounding discrepancy.
I think this case is an actual rounding problem while the ones we had
before were not. I believe the calculators that we are comparing are
converting IEEE 754 Floats Wrong.