Hacker News Reader

It still requires 0 to be represented as all bits set to zero.

Where does the ISO C standard say so?

edit:

https://cigix.me/c17#6.2.6.1.p1 seems relevant, I did not find anything for floating point types.

edit2:

Notes are probably not normative, but still:

That footnote confirms the traditional position that a floating point zero need NOT have an all-zero bit representation.