floating point representation of binary numbers