0x5c3bd5191b525a249 ~= 2^123 / 10^17
0x470de4df820000000 = 2^13 * 10^16Anyway, question on the ones you thought were wrong (I think "just" the trig functions). Is there a running system you can use that can be used to confirm your findings? Especially considering your previous post on the pentium division bug, maybe they got this wrong too?