This was actually just to silence a gcc warning about dereferencing type punned pointers or some such. I didn't spend a lot of time looking for a better fix, would you like me to look into it?