Forwarding this from Zulip for visibility. Discussion should probably go to the Zulip stream!
This RFC does not aim to produce the best possible floating-point semantics that Rust would have in an ideal world. It merely officially accepts the semantics that we have now, providing clear if somewhat unsatisfying answers to users’ questions.