[pcwalton]

Apparently that is correct and I was wrong above (though not in C++) [1]. However, according to the standard, the actual value is unspecified, because float bit representation is undefined.

[1]: http://dbp-consulting.com/tutorials/StrictAliasing.html