float::min/max: reference NaN bit pattern rules
Also, the "in particular" transition to the signed zero handling was odd, so I rearranged things a bit: first a self-contained description of the semantics, then an explanation of which operations in other standards/libraries this most closely corresponds to.
r? `@tgross35`
Matthias Krüger
1a9f5279f4