Looks like your test code from comment #1 still prints out a wrong value, so the bug has apparently not been fixed by the FPU updates...
Looks like your test code from comment #1 still prints out a wrong value, so the bug has apparently not been fixed by the FPU updates...