Reverse Engineering the Constants in the Pentium FPU