Priniting floating point values

[Iman Narasamdya <in@xxxxxxxxxxxx>]

Hello,

I'm compiling C programs using (GCC) 3.2.2 20030222 (Linux 3.2.2-5).
I would like to know how to print the integer values of floating points 
in RTL representation, such that the integer values follow the IEEE 754 
standard. In short, what options should I turn on when compiling programs?

Thank you.

Iman Narasamdya