How to prove using C program that float is of 32 bit?