浮動小数の形式がIEEE754であることは
intが32bitであることより
nullポインタの全bitが0であることより
期待しても良いのではないかと思う。

もちろん、標準Cで規定されているわけではないが。