Maybe someone can explain this IBM FPU bug

https://twitter.com/gglawits

Perhaps a rounding error since the 106 bits can't quite represent a 32 digit decimal number?

Wendell: I'm sure you could grok this in your sleep... can you shed any light on it? Is there a manufacturing defect like in the olde Pentiums?