IEEE floating point number