IEEE 754 quadruple-precision floating-point format