This is an R6RS change.
We voted to use the R6RS semantics.
Provided minimal reference to IEEE 754:2008 for now. Later drafts may be more detailed, since 754 is not freely available.
A little has been done, but not much. So it goes.
We voted to use the R6RS semantics.