Floatingpoint formats 

IEEE 754 

Other 
Alternatives 
Computer architecture bit widths 

Bit 
Application 
Binary floatingpoint precision 
Decimal floatingpoint precision 
Extended precision refers to floatingpoint number formats that provide greater precision than the basic floatingpoint formats.^{[1]} Extended precision formats support a basic format by minimizing roundoff and overflow errors in intermediate values of expressions on the base format. In contrast to extended precision, arbitraryprecision arithmetic refers to implementations of much larger numeric types (with a storage count that usually is not a power of two) using special software (or, rarely, hardware).
There is a long history of extended floatingpoint formats reaching back nearly to the middle of the last century^{[when?]}. Various manufacturers have used different formats for extended precision for different machines. In many cases the format of the extended precision is not quite the same as a scaleup of the ordinary single and doubleprecision formats it is meant to extend. In a few cases the implementation was merely a softwarebased change in the floatingpoint data format, but in most cases extended precision was implemented in hardware, either built into the central processor itself, or more often, built into the hardware of an optional, attached processor called a "floatingpoint unit" (FPU) or "floatingpoint processor" (FPP), accessible to the CPU as a fast input / output device.
The IBM 1130, sold in 1965,^{[2]} offered two floatingpoint formats: A 32bit "standard precision" format and a 40bit "extended precision" format. Standard precision format contains a 24bit two's complement significand while extended precision utilizes a 32bit two's complement significand. The latter format makes full use of the CPU's 32bit integer operations. The characteristic in both formats is an 8bit field containing the power of two biased by 128. Floatingpoint arithmetic operations are performed by software, and double precision is not supported at all. The extended format occupies three 16bit words, with the extra space simply ignored.^{[3]}
The IBM System/360 supports a 32bit "short" floatingpoint format and a 64bit "long" floatingpoint format.^{[4]} The 360/85 and followon System/370 add support for a 128bit "extended" format.^{[5]} These formats are still supported in the current design, where they are now called the "hexadecimal floatingpoint" (HFP) formats.
The Microsoft BASIC port for the 6502 CPU, such as in adaptations like Commodore BASIC, AppleSoft BASIC, KIM1 BASIC or MicroTAN BASIC, supports an extended 40bit variant of the floatingpoint format Microsoft Binary Format (MBF) since 1977.^{[6]}
The IEEE 754 floatingpoint standard recommends that implementations provide extended precision formats. The standard specifies the minimum requirements for an extended format but does not specify an encoding.^{[7]} The encoding is the implementor's choice.^{[8]}
The IA32, x8664, and Itanium processors support what is by far the most influential format on this standard, the Intel 80bit (64 bit significand) "double extended" format, described in the next section.
The Motorola 6888x math coprocessors and the Motorola 68040 and 68060 processors also support a 64bit significand extended precision format (similar to the Intel format, although padded to a 96bit format with 16 unused bits inserted between the exponent and significand fields, and values with exponent zero and bit 63 one are normalized values^{[9]}). The followon Coldfire processors do not support this 96bit extended precision format.^{[10]}
The FPA10 math coprocessor for early ARM processors also supports a 64bit significand extended precision format (similar to the Intel format although padded to a 96bit format with 16 zero bits inserted between the sign and the exponent fields), but without correct rounding.^{[11]}
The x87 and Motorola 68881 80bit formats meet the requirements of the IEEE 7541985 double extended format,^{[12]} as does the IEEE 754 128bit binary format.
The x86 extended precision format is an 80 bit format first implemented in the Intel 8087 math coprocessor and is supported by all processors that are based on the x86 design that incorporate a floatingpoint unit (FPU).
The Intel 8087 was the first x86 device which supported floatingpoint arithmetic in hardware. It was designed to support a 32 bit "single precision" format and a 64 bit "doubleprecision" format for encoding and interchanging floatingpoint numbers. The extended format was designed not to store data at higher precision, but rather to allow for the computation of temporary double results more reliably and accurately by minimising overflow and roundofferrors in intermediate calculations.^{[a]}^{[14]}^{[15]} All the floatingpoint registers in the 8087 hold this format, and it automatically converts numbers to this format when loading registers from memory and also converts results back to the more conventional formats when storing the registers back into memory. To enable intermediate subexpression results to be saved in extended precision scratch variables and continued across programming language statements, and otherwise interrupted calculations to resume where they were interrupted, it provides instructions which transfer values between these internal registers and memory without performing any conversion, which therefore enables access to the extended format for calculations^{[b]} – also reviving the issue of the accuracy of functions of such numbers, but at a higher precision.
The floatingpoint units (FPU) on all subsequent x86 processors have supported this format. As a result, software can be developed which takes advantage of the higher precision provided by this format. William Kahan, a primary designer of the x87 arithmetic and initial IEEE 754 standard proposal notes on the development of the x87 floating point: "An extended format as wide as we dared (80 bits) was included to serve the same support role as the 13 decimal internal format serves in HewlettPackard's 10 decimal calculators."^{[17]} Moreover, Kahan notes that 64 bits was the widest significand across which carry propagation could be done without increasing the cycle time on the 8087,^{[18]} and that the x87 extended precision was designed to be extensible to higher precision in future processors:
This 80 bit format uses one bit for the sign of the significand, 15 bits for the exponent field (i.e. the same range as the 128 bit quadruple precision IEEE 754 format) and 64 bits for the significand. The exponent field is biased by 16383, meaning that 16383 has to be subtracted from the value in the exponent field to compute the actual power of 2.^{[20]} An exponent field value of 32767 (all fifteen bits 1) is reserved so as to enable the representation of special states such as infinity and Not a Number. If the exponent field is zero, the value is a denormal number and the exponent of 2 is −16382.^{[21]}
In the following table, "s" is the value of the sign bit (0 means positive, 1 means negative), "e" is the value of the exponent field interpreted as a positive integer, and "m" is the significand interpreted as a positive binary number, where the binary point is located between bits 63 and 62. The "m" field is the combination of the integer and fraction parts in the above diagram.
Exponent  Significand  Meaning  

bits 78–64 
bit 63 
bits 62–0  
all 0  0  0  Zero. The sign bit gives the sign of the zero, which usually is meaningless. 
nonzero  Denormal. The value is (−1)^{s} × m × 2^{−16382 }  
1  anything  Pseudo Denormal. The 80387 and later properly interpret this value but will not generate it. The value is (−1)^{s} × m × 2^{−16382 }  
bits 78–64 
bits 63–62 
bits 61–0 

all 1  00  0  Pseudoinfinity. The sign bit gives the sign of the infinity. The 8087 and 80287 treat this as Infinity. The 80387 and later treat this as an invalid operand. 
nonzero  Pseudo 'Not a Number'. The sign bit is meaningless. The 8087 and 80287 treat this as a Signaling Not a Number. The 80387 and later treat this as an invalid operand.  
01  anything  Pseudo 'Not a Number'. The sign bit is meaningless. The 8087 and 80287 treat this as a Signaling Not a Number. The 80387 and later treat this as an invalid operand.  
10  0  Infinity. The sign bit gives the sign of the infinity. The 8087 and 80287 treat this as a Signaling Not a Number. The 8087 and 80287 coprocessors used the pseudoinfinity representation for infinities.  
nonzero  Signalling 'Not a Number', the sign bit is meaningless.  
11  0  Floatingpoint Indefinite, the result of invalid calculations such as square root of a negative number, logarithm of a negative number, 0/ 0, infinity/ infinity , infinity times 0, and others, when the processor has been configured to not generate exceptions for invalid operands. The sign bit is meaningless. This is a special case of a Quiet Not a Number.  
nonzero  Quiet 'Not a Number', the sign bit is meaningless. The 8087 and 80287 treat this as a Signaling Not a Number.  
bits 78–64 
bit 63 
bits 62–0 

any other 
0  anything  Unnormal. Only generated on the 8087 and 80287. The 80387 and later treat this as an invalid operand. The value is (−1)^{s} × m × 2^{e − 16383 } 
1  anything  Normalized value. The value is (−1)^{s} × m × 2^{e − 16383 } 
In contrast to the single and doubleprecision formats, this format does not utilize an implicit / hidden bit. Rather, bit 63 contains the integer part of the significand and bits 62–0 hold the fractional part. Bit 63 will be 1 on all normalized numbers. There were several advantages to this design when the 8087 was being developed:
The 80 bit floatingpoint format was widely available by 1984,^{[25]} after the development of C, Fortran and similar computer languages, which initially offered only the common 32 and 64 bit floatingpoint sizes. On the x86 design most C compilers now support 80 bit extended precision via the long double type, and this was specified in the C99 / C11 standards (IEC 60559 floatingpoint arithmetic (Annex F)). Compilers on x86 for other languages often support extended precision as well, sometimes via nonstandard extensions: For example, Turbo Pascal offers an extended
type, and several Fortran compilers have a REAL*10
type (analogous to REAL*4
and REAL*8
). Such compilers also typically include extendedprecision mathematical subroutines, such as square root and trigonometric functions, in their standard libraries.
The 80 bit floatingpoint format has a range (including subnormals) from approximately 3.65 × 10^{−4951} to 1.18 × 10^{+4932} . Although log_{10}( 2^{64} ) ≈ 19.266 , this format is usually described as giving approximately eighteen significant digits of precision (the floor of log_{10}( 2^{63} ) , the minimum guaranteed precision). The use of decimal when talking about binary is unfortunate because most decimal fractions are recurring sequences in binary just as 2/3 is in decimal. Thus, a value such as 10.15, is represented in binary as equivalent to 10.1499996185 etc. in decimal for REAL*4
but 10.15000000000000035527 etc. in REAL*8
: interconversion will involve approximation, except for those few decimal fractions that represent an exact binary value, such as 0.625 . For REAL*10
, the decimal string is 10.1499999999999999996530553 etc. The last 9 digit is the eighteenth fractional digit and thus the twentieth significant digit of the string. Bounds on conversion between decimal and binary for the 80 bit format can be given as follows: If a decimal string with at most 18 significant digits is correctly rounded to an 80 bit IEEE 754 binary floatingpoint value (as on input) then converted back to the same number of significant decimal digits (as for output), then the final string will exactly match the original; while, conversely, if an 80 bit IEEE 754 binary floatingpoint value is correctly converted and (nearest) rounded to a decimal string with at least 21 significant decimal digits then converted back to binary format it will exactly match the original.^{[12]} These approximations are particularly troublesome when specifying the best value for constants in formulae to high precision, as might be calculated via arbitraryprecision arithmetic.
A notable example of the need for a minimum of 64 bits of precision in the significand of the extended precision format is the need to avoid precision loss when performing exponentiation on doubleprecision values.^{[26]}^{[27]}^{[28]}^{[c]} The x86 floatingpoint units do not provide an instruction that directly performs exponentiation: Instead they provide a set of instructions that a program can use in sequence to perform exponentiation using the equation:
In order to avoid precision loss, the intermediate results "log_{2}(x)" and "y·log_{2}(x)" must be computed with much higher precision, because effectively both the exponent and the significand fields of x must fit into the significand field of the intermediate result. Subsequently, the significand field of the intermediate result is split between the exponent and significand fields of the final result when 2^{intermediate result} is calculated. The following discussion describes this requirement in more detail.
With a little unpacking, an IEEE 754 doubleprecision value can be represented as:
where s is the sign of the exponent (either 0 or 1), E is the unbiased exponent, which is an integer that ranges from 0 to 1023, and M is the significand which is a 53 bit value that falls in the range 1 ≤ M < 2 . Negative numbers and zero can be ignored because the logarithm of these values is undefined. For purposes of this discussion M does not have 53 bits of precision because it is constrained to be greater than or equal to one i.e. the hidden bit does not count towards the precision (Note that in situations where M is less than 1, the value is actually a denormal and therefore may have already suffered precision loss. This situation is beyond the scope of this article).
Taking the log of this representation of a doubleprecision number and simplifying results in the following:
This result demonstrates that when taking base 2 logarithm of a number, the sign of the exponent of the original value becomes the sign of the logarithm, the exponent of the original value becomes the integer part of the significand of the logarithm, and the significand of the original value is transformed into the fractional part of the significand of the logarithm.
Because E is an integer in the range 0 to 1023, up to 10 bits to the left of the radix point are needed to represent the integer part of the logarithm. Because M falls in the range 1 ≤ M < 2 , the value of log_{2} M will fall in the range 0 ≤ log_{2} M < 1 so at least 52 bits are needed to the right of the radix point to represent the fractional part of the logarithm. Combining 10 bits to the left of the radix point with 52 bits to the right of the radix point means that the significand part of the logarithm must be computed to at least 62 bits of precision. In practice values of M less than require 53 bits to the right of the radix point and values of M less than require 54 bits to the right of the radix point to avoid precision loss. Balancing this requirement for added precision to the right of the radix point, exponents less than 512 only require 9 bits to the left of the radix point and exponents less than 256 require only 8 bits to the left of the radix point.
The final part of the exponentiation calculation is computing 2^{intermediate result} . The "intermediate result" consists of an integer part "I" added to a fractional part "F". If the intermediate result is negative then a slight adjustment is needed to get a positive fractional part because both "I" and "F" are negative numbers.
For positive intermediate results:
For negative intermediate results:
Thus the integer part of the intermediate result ("I" or "I − 1") plus a bias becomes the exponent of the final result and transformed positive fractional part of the intermediate result: 2^{F} or 2^{F + 1} becomes the significand of the final result. In order to supply 52 bits of precision to the final result, the positive fractional part must be maintained to at least 52 bits.
In conclusion, the exact number of bits of precision needed in the significand of the intermediate result is somewhat data dependent but 64 bits is sufficient to avoid precision loss in the vast majority of exponentiation computations involving doubleprecision numbers.
The number of bits needed for the exponent of the extended precision format follows from the requirement that the product of two doubleprecision numbers should not overflow when computed using the extended format. The largest possible exponent of a doubleprecision value is 1023 so the exponent of the largest possible product of two doubleprecision numbers is 2047 (an 11 bit value). Adding in a bias to account for negative exponents means that the exponent field must be at least 12 bits wide.
Combining these requirements: 1 bit for the sign, 12 bits for the biased exponent, and 64 bits for the significand means that the extended precision format would need at least 77 bits. Engineering considerations resulted in the final definition of the 80 bit format (in particular the IEEE 754 standard requires the exponent range of an extended precision format to match that of the next largest, quad, precision format which is 15 bits).^{[27]}
Another example of calculations that benefit from extended precision arithmetic are iterative refinement schemes, used to indirectly clean out errors accumulated in the direct solution during the typically very large number of calculations made for numerical linear algebra.^{[30]}
long double
using 80 bit floatingpoint numbers on x86 systems. However, this is implementationdefined behavior and is not required, but allowed by the standard, as specified for IEEE 754 hardware in the C99 standard "Annex F IEC 60559 floatingpoint arithmetic". GCC also provides __float80
and __float128
types.^{[31]}longfloat
using 80 bit floatingpoint numbers on x86 systems.real
using the largest floatingpoint size implemented in hardware, for example 80 bits for x86 CPUs. On other machines, this will be the widest floating point type natively supported by the CPU, or 64 bit double precision, whichever is wider.extended
80 bit type available in addition to real
/ single
(32 bits) and double
(64 bits), either natively (when a 80x87 coprocessor is present) or emulated (through the Turbo87 library); this extended
type is available on 16, 32, and 64 bit platforms, possibly with padding.^{[32]}Float80
datatype.EXT
or EXTENDED
10 byte Extendedprecision floatingpoint data type.Uninterpreted  

Numeric  
Pointer  
Text  
Composite  
Other  
Related topics 