floats being IEEE compliant is optional by the language standards. Otherwise the bit representation is not specified.
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: