Hexadecimal floating point