IEEE754 128-bit floating point representation