128-bit floating point numbers