> AFAIK, the Croquet project needs to have exactly reproducible float
> arithmetics on all platforms. Would these rounding effects on the x86
> affect that goal (perhaps with denormal intermediate results)?
> Maybe it would be nice to write a unit test which would uncover
> different rounding behaviors between purely-double-precision FP hardware
> and extended-precision hardware.

http://gcc.gnu.org/PR323

Paolo