Decimal64 floating-point format: Difference between revisions

Content deleted Content added
Line 19:
In both cases, the most significant 4 bits of the significand (which actually only have 10 possible values) are combined with the most significant 2 bits of the exponent (3 possible values) to use 30 of the 32 possible values of a 5-bit field. The remaining combinations encode [[infinity|infinities]] and [[NaN]]s.
 
If the leadingmost 4significant bitsdigit of the significand is between 0 and 7 (encodable on three bits ''mmm''), the number begins as follows
 
s 00mmm00 xxx xxx..xxx Exponent begins with 00, significand with 0mmm0xxx
s 01mmm01 xxx xxx..xxx Exponent begins with 01, significand with 0mmm0xxx
s 10mmm10 xxx xxx..xxx Exponent begins with 10, significand with 0mmm0xxx
 
If the leadingmost 4significant bitsdigit of the significand areus binary 10008 or 10019 (decimalrepresentable 8as oran 9binary number ''100m'' where only the bit ''m'' is stored and bits ''100'' are implicit), the number begins as follows:
 
s 1100m11 xxx00x xxx...xxx Exponent begins with 00, significand with 100m100x
s 1101m11 xxx01x xxx...xxx Exponent begins with 01, significand with 100m100x
s 1110m11 xxx10x xxx...xxx Exponent begins with 10, significand with 100m100x
 
The following bits (''xxx...xxx'' in the above) encode the additionalremaining exponent8 bits andof the remainderexponent ofand the mostremaining 15 significant digitdigits, but the details vary depending on the encoding alternative used (either the digits of the significand, or bits of the exponent may also come first). There is no particular reason for this difference, other than historical reasons in the eight-year long development of IEEE 754-2008.
 
The final combinations are used for infinities and NaNs, and are the same for both alternative encodings:
 
s 1111011 x110 xxx...xxx ±Infinity (see [[Extended real number line]])
s 1111111 0111 0xx...xxx quiet NaN (sign bit ignored)
s 1111111 1111 1xx...xxx signaling NaN (sign bit ignored)
 
In the latter cases, all other ''xxx...xxx'' bits of the encoding are ignored. Thus, it is possible to initialize an array to NaNs by filling it with a single byte value.
 
=== Binary integer significand field ===
This format uses a binary significand from 0 to 10<sup>16</sup>−1 = {{gaps|9|999|999|999|999|999}} = 2386F26FC0FFFF<sub>16</sub> = {{gaps|1000|1110000110|1111001001|1011111100|0000111111|1111111111<sub>2</sub>}}.
 
{{gaps|1000|1110000110|1111001001|1011111100|0000111111|1111111111<sub>2</sub>}}.
The encoding, completely stored on 64 bits, can represent binary significands up to 10×2<sup>50</sup>−1 = {{gaps|11|258|999|068|426|239}} = 27FFFFFFFFFFFF<sub>16</sub>, but values larger than 10<sup>16</sup>−1 are illegal (and the standard requires implementations to treat them as 0, if encountered on input).
 
As described above, the encoding varies depending on whether the most significant 4 bits of the significand are in the range 0 to 7 (0000<sub>2</sub> to 0111<sub>2</sub>), or higher (1000<sub>2</sub> or 1001<sub>2</sub>).
 
If the 2 bits after the sign bit are "00", "01", or "10", then the exponent field consists of the 10 bits following the sign bit, and the significand is the remaining 53 bits, with an implicit leading 0 bit:
exponent field consists of the 10 bits following the sign bit, and the
significand is the remaining 53 bits, with an implicit leading 0 bit:
 
s 00 eeeeeeee [(0)ttttt][tttttttt][tttttttt][tttttttt][tttttttt][tttttttt][tttttttt]
s 00eeeeeeee (0)TTTtttttttttttttttttt tttttttttttttttttttttttttttttttt
s 01 eeeeeeee [(0)ttttt][tttttttt][tttttttt][tttttttt][tttttttt][tttttttt][tttttttt]
s 01eeeeeeee (0)TTTtttttttttttttttttt tttttttttttttttttttttttttttttttt
s 10 eeeeeeee [(0)ttttt][tttttttt][tttttttt][tttttttt][tttttttt][tttttttt][tttttttt]
s 10eeeeeeee (0)TTTtttttttttttttttttt tttttttttttttttttttttttttttttttt
 
This includes [[subnormal numbers]] where the leading significand digit is 0.
 
If the 4 bits after the sign bit are "1100", "1101", or "1110", then the 10-bit exponent field is shifted 2 bits to the right (after both the sign bit and the "11" bits thereafter), and the represented significand is in the remaining 51 bits. In this case there is an implicit (that is, not stored) leading 3-bit sequence "100" infor the most bits of the true significand.
 
s 11 00 eeeeeeee [(100)ttt][tttttttt][tttttttt][tttttttt][tttttttt][tttttttt][tttttttt]
s 11 00eeeeeeee (100)Ttttttttttttttttttt tttttttttttttttttttttttttttttttt
s 11 01 eeeeeeee [(100)ttt][tttttttt][tttttttt][tttttttt][tttttttt][tttttttt][tttttttt]
s 11 01eeeeeeee (100)Ttttttttttttttttttt tttttttttttttttttttttttttttttttt
s 11 10 eeeeeeee [(100)ttt][tttttttt][tttttttt][tttttttt][tttttttt][tttttttt][tttttttt]
s 11 10eeeeeeee (100)Ttttttttttttttttttt tttttttttttttttttttttttttttttttt
 
The "11" 2-bit sequence "11" after the sign bit indicates that there is an ''implicit'' 3-bit prefix "100" 3to the significand. Compare having an implicit 1-bit prefix "1" in the significand of normal values for the binary formats. Note also that the 2-bit sequences "00", "01", or "10" after the sgn bit are part of the exponent field.
prefix to the significand. Compare having an implicit 1 in the significand of normal
values for the binary formats. Note also that the "00", "01", or "10" bits are part of the exponent field.
 
Note that the leading bits of the significand field do ''not'' encode the most significant decimal digit; they are simply part of a larger pure-binary number. For example, a significand of {{gaps|8|000|000|000|000|000}} is encoded as binary {{gaps|0111|0001101011|1111010100|1001100011|0100000000|0000000000}}, with the leading 4 bits encoding 7; the first significand which requires a 54th bit is 2<sup>53</sup> = {{gaps|9|007|199|254|740|992}}.
Line 81 ⟶ 77:
 
=== Densely packed decimal significand field ===
In this version, the significand is stored as a series of decimal digits. The leading digit is between 0 and 9 (3 or 4 binary bits), and the rest of the significand uses the [[densely packed decimal]]
0 and 9 (3 or 4 binary bits), and the rest of the significand uses the [[densely packed decimal]]
 
Unlike the binary integer significand version, where the exponent changed position and came before the significand, this encoding, combines the leading 2 bits of the exponent and the leading digit (3 or 4 bits) of the significand into the five bits that follow the sign bit.
of the significand into the five bits that follow the sign bit.
 
This eight bits after that are the exponent continuation field, providing the less-significant bits of the exponent.
 
The last 50 bits are the significand continuation field, consisting of 5 "declets" (10-bit "declets"each). Each declet encodes three decimal digits using the DPD encoding.
Each declet encodes three decimal digits using the DPD encoding.
 
If the first two bits after the sign bit are "00", "01", or "10", then those are the leading bits of the exponent, and the three bits "TTT" after that are interpreted as the leading decimal digit (0 to 7):
the leading bits of the exponent, and the three bits after that are interpreted as
the leading decimal digit (0 to 7):
 
s 00 TTT (00)eeeeeeee (0TTT)[tttttttttt][tttttttttt][tttttttttt][tttttttttt][tttttttttt]
s 01 TTT (01)eeeeeeee (0TTT)[tttttttttt][tttttttttt][tttttttttt][tttttttttt][tttttttttt]
s 10 TTT (10)eeeeeeee (0TTT)[tttttttttt][tttttttttt][tttttttttt][tttttttttt][tttttttttt]
 
If the 4 bits after the sign bit are "1100", "1101", or "1110", then the second 2-bits are the leading bits of the exponent, and the next bit "T" is prefixed with implicit bits "100" to form the leading decimal digit (8 or 9):
second two bits are the leading bits of the exponent, and the last bit is
prefixed with "100" to form the leading decimal digit (8 or 9):
 
s 110011 T00T (00)eeeeeeee (100T)[tttttttttt][tttttttttt][tttttttttt][tttttttttt][tttttttttt]
s 110111 T01T (01)eeeeeeee (100T)[tttttttttt][tttttttttt][tttttttttt][tttttttttt][tttttttttt]
s 111011 T10T (10)eeeeeeee (100T)[tttttttttt][tttttttttt][tttttttttt][tttttttttt][tttttttttt]
 
The remaining two combinations (1111011 110 and 1111111 111) of the 5-bit field after the sign bit are used to represent ±infinity and NaNs, respectively.
are used to represent ±infinity and NaNs, respectively.
 
The DPD/3BCD transcoding for the declets is given by the following table. b9...b0 are the bits of the DPD, and d2...d0 are the three BCD digits.
b9...b0 are the bits of the DPD, and d2...d0 are the three BCD digits.
 
{{Densely packed decimal}}