That's a different problem: that simply convert a pointer to float to an uint32 (probably truncating it). What the post mentions is 'uint32_t my_int = *(uint32_t*)&my_float;

(Of course you had it right, and HN ate your formatting, but it is funnier this way)