Double-extended-precision floating-point format