Converting 32-bit and 64-bit numbers to IEEE 754 binary in C

I am currently working on a program where i need to have this kind of output:

If you don't want to click on the link, i have to output the binary in IEEE 754 of 64 and 32-bit numbers in c.

I already have the double and single floating point approximation, but I'm having trouble finding out how to output the binary of these in IEEE 754 notation, and color code them as well. Any thoughts/solutions on how to do this would be much appreciated.

Thanks in advance.