Well, apparently no one has attempted to compile that IEEE I/O code in 8.1 for a while.
Is it broken? In that case I can take a look at it.
Already fixed.
C99 says that floats are implemented according to IEEE when the hardware uses it,
Where do you think it says that?
Apparently I misunderstood a derivative source.