Binary representation of a floating point number in C++