Survey of Floating-Point Formats
This page gives a very brief summary of floating-point formats that have been used over the years. Most have been implemented in hardware and/or software and used for real work; a few (notably the small ones at the beginning) just for lecture and homework examples. They are listed in order of increasing range (a function of exponent size) rather than by precision or chronologically.
range (overflow value) | precision | bits | B | W_{e} | W_{m} | what |
14 | 0.6 | 6 | 2 | 3 | 2 | Used in university courses^{21},^{22} |
240 | 0.9 | 8 | 2 | 4 | 3 | Used in university courses^{21},^{22} |
65504 = 2^{15}×(2-2^{-10}) | 3.3 | 16 | 2 | 5 | 10 | IEEE 754-2008 binary16, also called "half", "s10e5", "fp16". 2-byte, excess-15 exponent used in nVidia NV3x and subsequent GPUs^{24},^{25},^{27},^{33}; largest minifloat. Can approximate any 16-bit unsigned integer or its reciprocal to 3 decimal places. |
9.9999×10^{8} (see note^{32}) | 4.8 | 24 | 2 | 7 | 16 | Zuse Z1, the first-ever implementation of binary floating-point^{31} |
9.999×10^{9} (see note^{32}) | 4.8 | 24 | 2 | 7 | 16 | Zuse Z3 |
2.81×10^{14} | 3.6 | 18 | 8 | 5 | 12 | excess-15 octal, 4-digit mantissa. A fairly decent radix-8 format in an 18 bit PDP-10 halfword |
9.22×10^{18} = 2^{26-1} | 4.8 | 24 | 2 | 7 | 16 | 3-byte excess-63 ATI R3x0 and Rv350 GPUs^{33}. Also called "s16e7", "fp24". |
1.84×10^{19} = 2^{26} | 6.9 | 30 | 2 | 7 | 23 | AMD 9511 (1979)^{5} |
9.90×10^{27} = 8^{82/2-1} | 5.1 | 24 | 8 | 6 | 17 | Octal excess-32^{12} |
1.70×10^{28} = 2^{27-1} | 8.1 | 36 | 2 | 8 | 27 | Digital PDP-10^{1},^{18}, VAX (F and D formats)^{1}; Honeywell 600, 6000^{1},^{16}; Univac 110x single^{1}; IBM 709x, 704x^{1} |
1.70×10^{38} = 2^{27-1} | 9.6 | 40 | 2 | 8 | 1+31 | Apple II, Sinclair ZX Spectrum ^{30}, perhaps others |
1.70×10^{38} = 2^{27-1} | 7.2 | 32 | 2 | 8 | 1+23 | TRS-80 single-precision ^{35} |
1.70×10^{38} = 2^{27-1} | 16.8 | 64 | 2 | 8 | 1+55 | TRS-80 double-precision ^{35} |
3.40×10^{38} = 2^{27} | 7.2 | 32 | 2 | 8 | 1+23 | IEEE 754 single-precision (or IEE 754-2008 "binary32") (ubiquitous) |
3.40×10^{38} = 2^{27} | 7.2 | 32 | 2 | 8 | 1+23 | Digital PDP-11^{19}, PDP 16^{6}, VAX |
9.99×10^{49} = 10^{102/2} | 8.0 | 44 | 10 | 2d | 8d | Burroughs B220^{7} |
4.31×10^{68} = 8^{76} | 11.7 | 47 | 8 | 7 | 39 | Burroughs 5700, 6700, 7700 single^{1},^{14},^{16},^{17} |
7.24×10^{75} = 16^{63} | 7.2 | 32 | 16 | 7 | 24 | IBM 360, 370^{6}; Amdahl 1; DG Eclipse M/600^{1} |
7.24×10^{75} = 16^{63} | 16.8 | 64 | 16 | 7 | 56 | IBM 360 double^{15} |
5.79×10^{76} = 2^{255} | 7.2 | ? | 2 | 9 | 24 | Burroughs 1700 single^{16} |
1.16×10^{77} = 16^{64} | 7.2 | 32 | 16 | 7 | 24 | HP 3000^{1} |
9.99×10^{96} = 10^{3×25+1} | 7.0 | 32 | 10 | 8- | 7d | IEEE 754r decimal32^{3},^{4} |
9.99×10^{99} = 10^{102} | 10.0 | ? | 10 | 2d | 10d | Most scientific calculators |
4.9×10^{114} = 8^{127} | 12.0 | 48 | 8 | 8 | 40 | Burroughs 7700^{6} |
9.99×10^{127} = 100^{64} | ~13 | 64 | 100 | 1 | 7 | TI-99/4A computer^{36} |
8.9×10^{307} = 2^{210-1} | 14.7 | 60 | 2 | 11 | 1+48 | CDC 6000, 6600^{6}, 7000 CYBER |
8.9×10^{307} = 2^{210-1} | ? | ? | ? | ? | ? | DEC Vax G format; UNIVAC; 110x double^{1} |
1.8×10^{308} = 2^{210} | 15.9 | 64 | 2 | 11 | 1+52 | IEEE 754 double-precision (or IEE 754-2008 "binary64") (nearly ubiquitous) |
1.8×10^{308} = 2^{210} | 32.2 | 128 | 2 | 11 | 107 | "Double-double"^{40},^{41} based on IEEE binary64 (my "f107"^{39}) |
1.8×10^{308} = 2^{210} | 48.5 | 192 | 2 | 11 | 161 | "Trible-double" based on IEEE binary64 (my "f161"^{39}) |
1.8×10^{308} = 2^{210} | 67.2 | 256 | 2 | 11 | 215 | "Quad-double"^{41} based on IEEE binary64 (my "f215"^{39}) |
1.27×10^{322} = 2^{1070} | ? | ? | ? | ? | ? | CDC 6x00, 7x00, Cyber^{1} |
9.99×10^{384} = 10^{3×27+1} | 16.0 | 64 | 10 | 10- | 16d | IEEE 754r decimal64^{3},^{4} |
9.99×10^{499} = 10^{103/2} | 12.0 | ? | 10 | 3d | 12d | HP 71B^{13}, 85^{1} calculators |
9.99×10^{999} = 10^{103} | 12.0 | ? | 10 | 3d | 12d | Texas Instruments 85, 92 calculators |
9.99×10^{999} = 10^{103} | 14.0 | ? | 10 | 3d | 14d | Texas Instruments 89 calculator^{13} |
9.99×10^{999} = 10^{103} | 17.0 | 82 | 10 | 3d | 17d | 68881 Packed Decimal Real (3 BCD digits for exponent, 17 for mantissa, and two sign bits) |
1.4×10^{2465} = 2^{213-3} | 7.2 | 38? | 2 | 14 | 24 | Cray C90 half^{8} |
1.4×10^{2465} = 2^{213-3} | 14.1 | 61? | 2 | 14 | 47 | Cray C90 single^{8} |
1.4×10^{2465} = 2^{213-3} | 28.8 | 110? | 2 | 14 | 96 | Cray C90 double^{8} |
1.1×10^{2466} = 2^{213} | ? | ? | ? | ? | ? | Cray I^{1} |
5.9×10^{4931} = 2^{214-1} | ? | ? | ? | ? | ? | DEC VAX H format^{1} |
1.2×10^{4932} = 2^{214} | 19.2 | 80 | 2 | 15 | 64 | The minimum IEEE 754-1985 double extended size (Pentium; HP/Intel Itanium; Motorola 68040, 68881, 88110) |
1.2×10^{4932} = 2^{214} | 34.0 | 128 | 2 | 15 | 1+112 | IEEE 754-2008 "binary128" aka "quad" or "quadruple"^{2},^{3},^{28},^{29},^{37} (DEC Alpha^{9}; IBM S/390 G5^{10}) |
9.99×10^{6144} = 10^{3×211+1} | 34.0 | 128 | 10 | 14- | 34d | IEEE 754-2008 decimal128^{3},^{4},^{28},^{29},^{37},^{38} |
5.2×10^{9824} = 2^{215-131} | 16.0 | ? | 2 | 16 | 47 | PRIME 50^{16} |
1.9×10^{29603} = 8^{215+12} | ? | ? | 8 | 16 | ? | Burroughs 6700, 7700 double^{1},^{16} |
4.3×10^{2525222} = 2^{223} | ? | ? | 2 | 24 | ? | PARI/GP (older 32-bit versions) |
2.05×10^{161614248} = 2^{229} | ? | ? | 2 | 30 | ? | PARI/GP (newer 32-bit versions) |
1.23×10^{323228458} = 2^{230-128} | ? | ? | 2 | 31 | ? | Mathematica® (some versions) |
2.1×10^{323228496} = 2^{230-1} | V | V | 2 | 32 | V | GNU MPFR (32-bit) |
1.92×10^{646456887} = 2^{231-352} | ? | ? | 2 | 32 | ? | Mathematica® (other versions) |
10^{2147483646} = 10^{231-2} | ? | ? | ? | ? | ? | Maple® (32-bit) |
10^{6.94×1017} = 2^{261} | ? | ? | 2 | 62 | ? | PARI/GP (64-bit) |
10^{1.39×1018} = 2^{262-1} | V | V | 2 | 64 | V | GNU MPFR (64-bit) |
10^{9.22×1018} = 10^{263} | ? | ? | ? | ? | ? | Maple® (64-bit) |
10^{1010000} or more | V | V | 2 | V | V | Maxima |
10↑↑10 or more | - | - | - | - | 19d | WolframAlpha |
10↑↑(10^{10}) | 300.0 | - | 10 | - | 300d | Hypercalc |
Legend:
B : Base of exponent. This is the amount by which your floating-point number increases if you raise its exponent by 1. Modern formats like IEEE 754 all use base 2, so B is 2, and increasing the exponent field by 1 amounts to multiplying the number by 2. Older formats used base 8, 10 or 16.
V : The size of this field, and therefore the precision, number of "digits", and/or exponent range, is variable and limited only by available memory and how long you're willing to wait for a calculation. For example, one version of Maxima takes over 4 hours to give an answer for "bfloat(10.0)^(bfloat(2.0)^bfloat(100000.0));".
W_{e} : Width of exponent. If B is 2, 8 or 16, this is the number of bits (binary digits) in the exponent field. For the specific case of B=2, W_{e} is equal to K+1 in the equation 1-2^{K}<e<2^{K} specifying the bounds of the excess-2^{n} exponent in an IEEE 754 representation (see below). When B is 10, there are two cases: "6d" indicates an exponent stored as base-10 digits and the letter d is included to make this clear; "8-" indicates an IEEE binary decimal format, using 2 bits in the combination field and 6 bits in the following exponent field, which together can hold only 3/4 of the values such a width would imply (because the high 2 bits cannot both be 1), thus the legal values are e such that 0≤e<3×2^{6}.
W_{m} : Width of mantissa. For binary formats with "hidden" or "implied" leading mantissa bits, this is given as "1+N", such as "1+23", the "1+" refers to the leading 1 bit; this plus 23 actual bits gives a total of 24 bits of precision. For decimal formats the letter "d" is shown to make it clear the precision is in decimal digits.
IEEE 754 Single Representation
This is worth describing in a bit more detail because it is so prevalent in the hardware used today, and it is probably what you'll be looking at when you try to decipher a floating-point value from its "raw binary".
First a warning: Although the "normal" values are what you see when your program is working with real data, proper handling of the rest of the values (denorms, NANs, etc.) is vitally important; otherwise you'll get all sorts of horrible results that are difficult to understand, and usually impossible to fix.
So, for the normal values (which in this case means, not including the zeros, denorms, NANs, and infinities) the value being represented can be expressed in the following form:
value = s 2^{k+1-N} n
where the sign s is -1 or 1, and k and n are integers that fall within the ranges given by:
2-2^{K} < k < 2^{K}-1 and 2^{N-1}-1 < n < 2^{N}
for two integers K and N. If you look at the range of k and n you can see that k can have exactly 2^{K+1}-2 values and n can have exactly 2^{N-1} values, and therefore exactly K+1 bits can be used to store the exponent (including two unused values discussed below) and N-1 bits to store the mantissa. To give a specific example, for IEEE 754 single precision, as the above table shows there are W_{e}=8 bits for the exponent and W_{m}=23 bits for the mantissa, so K is 7 and N is 24.
The exponent is stored in "excess 2^{K} format", which means the binary value you see is 2^{K} bigger than the actual value of k being represented. For example, when K is 7, is the value 254 is seen, k is 126, and the value being represented is s 2^{127-N} n. This is only true for the normal values just described, not for denorms.
The next set of values to understand are the denormalized values (or "denorms"), very small values for which
k = 2-2^{K} and 0 < n < 2^{N-1}
using the same definitions as above. These values use one of the "unused" exponent values, namely the one that is all 0 bits. They are very important because they make overflow work better: instead of jumping suddenly to 0, you lose precision gradually as you go towards 0.
In addition to making the underflow case a little less severe by losing precision gradually instead of suddenly, denormalized values eliminate a lot of strange bugs that would otherwise occur. For example, the tests "if x>y" and "if x-y>0" can yield different results, unless you use denorms.
All of the various values are arranged in such a way that hardware or software can perform comparisons treating the data as signed-magnitude integers, and as long as neither argument is a NAN the proper answer will result. Such comparisons even properly handle the infinities and negative zero. (A signed-magnitude integer is a sign bit followed by an unsigned expression of its magnitude — this is not the normal signed integer format which is called "2's complement signed integer". As with floats, there are ways to express 0 as a signed-magnitude integer.)
Here are some sample values with their binary representation. The binary digits are broken into groups of 4 to help with interpreting a value in hexadecimal. They are shown in order from largest to smallest, with the non-numbers in the places they would fall if they were sorted by their bit patterns.
s | exponent | mantissa | value(s) |
0 | 111.1111.1 | 111.1111.1111.1111.1111.1111 | Quiet NANs |
0 | 111.1111.1 | 100.0000.0000.0000.0000.0000 | Indeterminate |
0 | 111.1111.1 | 0xx.xxxx.xxxx.xxxx.xxxx.xxxx | Signaling NANs |
0 | 111.1111.1 | 000.0000.0000.0000.0000.0000 | Infinity |
0 | 111.1111.0 | 111.1111.1111.1111.1111.1111 | 3.402×10^{38} |
0 | 100.0000.1 | 000.0000.0000.0000.0000.0000 | 4.0 |
0 | 100.0000.0 | 100.0000.0000.0000.0000.0000 | 3.0 |
0 | 100.0000.0 | 000.0000.0000.0000.0000.0000 | 2.0 |
0 | 011.1111.1 | 000.0000.0000.0000.0000.0000 | 1.0 |
0 | 011.1111.0 | 000.0000.0000.0000.0000.0000 | 0.5 |
0 | 000.0000.1 | 000.0000.0000.0000.0000.0000 | 1.175×10^{-38} (Smallest normalized value) |
0 | 000.0000.0 | 111.1111.1111.1111.1111.1111 | 1.175×10^{-38} (Largest denormalized value) |
0 | 000.0000.0 | 000.0000.0000.0000.0000.0001 | 1.401×10^{-45} (Smallest denormalized value) |
0 | 000.0000.0 | 000.0000.0000.0000.0000.0000 | 0 |
1 | 000.0000.0 | 000.0000.0000.0000.0000.0000 | -0 |
1 | 000.0000.0 | 000.0000.0000.0000.0000.0001 | -1.401×10^{-45} (Smallest denormalized value) |
1 | 000.0000.0 | 111.1111.1111.1111.1111.1111 | -1.175×10^{-38} (Largest denormalized value) |
1 | 000.0000.1 | 000.0000.0000.0000.0000.0000 | -1.175×10^{-38} (Smallest normalized value) |
1 | 011.1111.0 | 000.0000.0000.0000.0000.0000 | -0.5 |
1 | 011.1111.1 | 000.0000.0000.0000.0000.0000 | -1.0 |
1 | 100.0000.0 | 000.0000.0000.0000.0000.0000 | -2.0 |
1 | 100.0000.0 | 100.0000.0000.0000.0000.0000 | -3.0 |
1 | 100.0000.1 | 000.0000.0000.0000.0000.0000 | -4.0 |
1 | 000.0000.1 | 000.0000.0000.0000.0000.0000 | -1.175×10^{-38} |
1 | 111.1111.0 | 111.1111.1111.1111.1111.1111 | -3.402×10^{38} |
1 | 111.1111.1 | 000.0000.0000.0000.0000.0000 | Negative infinity |
1 | 111.1111.1 | 0xx.xxxx.xxxx.xxxx.xxxx.xxxx | Signaling NANs |
1 | 111.1111.1 | 100.0000.0000.0000.0000.0000 | Indeterminate |
1 | 111.1111.1 | 111.1111.1111.1111.1111.1111 | Quiet NANs |
IEEE 754d Decimal Formats
The decimal32, decimal64 and decimal128 formats defined in the IEEE 754-2008 standard are interesting largely because of their innovative packing of 3 decimal digits into 10 binary digits. Decimal formats are still useful because they can store decimal fractions (like 0.01) precisely. Normal BCD (binary-coded decimal) uses 4 binary digits for each decimal digit, requiring a waste of about 17% of the information capacity of the bits. The 1000 combinations of 3 decimal digits fit nearly perfectly into the 1024 combinations of 10 binary digits. In addition to the space efficiency, groups of 3 work well for formatting and printing which typically use a thousands separator (such as "," or a blank space) between groups of 3 digits. However, prospects for easy encoding and decoding seem bleak. In 1975 Chen and Ho published the first such system, but it had some drawbacks. The Cowlishaw encoding^{4}, used in IEEE 754-2008, is remarkable because it manages to achieve all of the following desirable goals:
- The encoding of 000 is all 0's; if the 3 digits are 000-009, the high 6 bits of the encoded result are 0; and if the digits are 010-099 the high 3 bits are 0. Thus you can store 1 digit in 4 bits or 2 digits in 7 bits, making it easy to store any number of decimal digits, not just a multiple of 3; and you can expand any field into a larger field by adding 0's on the left.
- All combinations from 000-079 encode into the same bit pattern as normal BCD.
- You can easily discover if any decimal digit is odd or even by testing a single bit in the binary encoding: test bit 0 (the lowest bit) to see if the low digit is odd; test bit 4 to see if the middle digit is odd and test bit 7 to see if the high digit is odd. These tests always work regardless of the values of the other digits. (As a consequence of this, the hardware implementations for encoding and decoding require no gates for these 3 bits)
- The hardware implementation for encoding 3 decimal digits into 10 binary requires only a total of 33 NAND gates, and decoding back to decimal requires only 54 NAND gates, with a 3-gate-delay in both directions (not including fanout drivers).
- The 24 unused bit patterns are easily characterized as [ddx11x111x] with [dd] equal to 01, 10 or 11.
Minifloats and Microfloats: Excessively Small Floating-Point Formats
Although they do not have much practical value as a universal format for computation, very small floating-point formats are of interest for other reasons.
One can refer to a format using 16 bits or less as a minifloat. (For origin of the term, see footnotes: ^{42},^{43},^{44}.) Of these, the most popular by far is 1.5.10 (or s10e5 or binary16), the 16-bit format invented at nVidia and ILM and now a part of IEEE 754-2008. This format uses 1 sign bit, a 5-bit excess-15 exponent, 10 mantissa bits (with an implied 1 bit) and all the standard IEEE rules including denormals, infinities and NaNs. The minimum and maximum representable (and positive) values are 5.96×10^{-8} and 65504 respectively.
s | expon. | mantissa | value(s) |
0 | 111.11 | xx.xxxx.xxxx | various NANs |
0 | 111.11 | 00.0000.0000 | Infinity |
0 | 111.10 | 11.1111.1111 | 65504 (Largest finite value) |
0 | 100.11 | 10.1100.0000 | 27.0 |
0 | 100.01 | 11.0000.0000 | 7.0 |
0 | 100.00 | 10.0000.0000 | 3.0 |
0 | 011.11 | 00.0000.0000 | 1.0 |
0 | 011.10 | 00.0000.0000 | 0.5 |
0 | 000.01 | 00.0000.0000 | 6.104×10^{-5} (Smallest normalized value) |
0 | 000.00 | 11.1111.1111 | 6.098×10^{-5} (Largest denormalized value) |
0 | 000.00 | 00.0000.0001 | 5.96×10^{-8} (Smallest denormalized value) |
0 | 000.00 | 00.0000.0000 | 0 |
1 | 011.11 | 00.0000.0000 | -1.0 (other negative values are analogous) |
This format is supported in hardware by many nVidia graphics cards including GeForce FX and Quadro FX 3D (they call it fp16 or s10e5), and is used by Industrial Light and Magic (as part of their OpenEXR standard) and Pixar as the native format for raw output rendered frames (prior to conversion to a compressed format like DVD, HDTV, or imaging on photographic film for exhibition in a theater). s10e5 is more than sufficient to represent light levels in a rendered image, and compared to 32-bit floating-point, it presents quite a few advantages: it requires half as much memory space (and bus bandwidth); an operation (such as addition or multiplication) takes less than half the time (as measured in gate delay) and about 1/4 as many transistors. All of these advantages are very important when you are expected to perform trillions of operations to render a frame.
To give a concrete example: at the time of the 3-GHz Pentium, which was capable of 12 billion floating-point operations per second (12 GFLOPs), nVidia graphics cards for consumers could manage around 40 billion operations per second. Soon after that, ATI (which uses 24-bit 1.7.16 or s16e7 format) surpassed that, and the two companies repeatedly leapfrogged each other. In subsequent years, the graphics cards continued to widen their lead over CPUs, and even when 32-bit floating-point became common on graphics cards, 16-bit is still very commonly used typically because it presents a lesser load on membory bandwidth.
The computer-graphics industry has long recognized the value of floating-point to represent pixels, because a pixel expresses (essentially) a light level. Light levels can vary over a very wide range — for example, the ratio between broad daylight and a clear night under a full moon, is 14 "magnitudes" on the scale used by astronomers. That's 2.512^{14} ≈ 400,000. The ratio of brightnesses in nighttime environments with bright lights (such as when driving at night, or in a candlelit room) are similar. Such scenes have "high-contrast" lighting. The human eye can handle this range easily. A standard 8-bit format for pixel values (typically 8 bits for each of the three components red, green and blue) doesn't even come close. Doubling the pixel width to 16 bits produces the 48-bit format (common in the industry) but does little to improve the situation for high-contrast lighting — for pixel values near the bottom of the range, roundoff error is terrible. But using 1.5.10 float format increases the range to over 10^{9} (values as small as 6.1×10^{-5} and as large as 65504), with the equivalent of 3 decimal digits of precision over the entire range. It can also represent any integer from -2048 to 2048, so is even useful in some situations like pixel addresses within a texture.
A software implementation of s10e5 is here: s10e5 C++ class.
A floating-point format using 8 bits or less fits in a byte; I call this a microfloat. These are the best for learning, particularly when you have to convert to/from floating-point using pencil and paper. I am not alone in thinking they are useful as an educational tool for learning about and practising the implementation of floating-point algorithms — I have found courses at no fewer than 11 colleges and universities that use them in lectures.^{21},^{22},^{23}
But surprisingly, such small representations even have use in the real world — sort of. Some encodings used for waveforms and other time-variable analog data are very close to being a floating-point encoding with a small number of exponent and mantissa bits. An example is "mu-law" coding used for audio. Such codes usually store the logarithm of a value plus a sign, and have a special value for zero. This is not the same as a true floating-point format, but it has a similar range and precision.
The smallest format that has all three fields would be 1.1.1 format — using 3 bits with one bit each for sign, exponent and mantissa. 1.1.1 format encodes the values {-3, -2, -1, -0, 0, 1, 2, 3} or an equivalent set multiplied by a scaling factor. But this isn't very "useful" because you can do a little better just by treating the 3 bits as a signed integer (which gives you the integers -4 through 3).
The smallest formats that are "useful" in the sense of covering a broader range than the same number of bits as a signed integer have at least a 2-bit exponent field. There is always at least 1 mantissa bit anyway (the hidden leading 1, or leading 0 for the denormalized values when the exponent field is 0). The smallest of these is 1.2.0 format — three bits, encoding the values {-4, -2, -1, -0, 0, 1, 2, 4}.
Adding one mantissa bit to get the 4-bit format 1.2.1 gives us a lot more — it encodes the set {-12, -8, -6, -4, -3, -2, -1, -0, 0, 1, 2, 3, 4, 6, 8, 12} giving quite a bit more than the range of the 4-bit signed integer {-8 ... 7}.
5 bits are best used in a 1.2.2 format, using 1 sign bit, 2 exponent bits and 2 mantissa bits (plus an implied leading 1 bit for a mantissa precision of 3 bits). If the exponent is treated as excess -2 (that's "excess minus-two"), all representable values are integers and the range is {-28 .. 28} (or {-24 .. 24} if the highest exponent value is used for infinities). 5 bits as a normal two's complement integer has a range of {-16 .. 15}.
Reader George Spelvin^{34} pointed out that an "all-integer" 0.2.3 format, with no sign and without denormals or infinities, is used in the command for setting the keyboard repeat rate (the "typematic rate") of an IBM PC keyboard. There is a 5-bit field whose 32 possible values are used for the numbers 8 through 120, as follows:
bits value bits value bits value bits value 00.000 8 01.000 16 10.000 32 11.000 64 00.001 9 01.001 18 10.001 36 11.001 72 00.010 10 01.010 20 10.010 40 11.010 80 00.011 11 01.011 22 10.011 44 11.011 88 00.100 12 01.100 24 10.100 48 11.100 96 00.101 13 01.101 26 10.101 52 11.101 104 00.110 14 01.110 28 10.110 56 11.110 112 00.111 15 01.111 30 10.111 60 11.111 120These are used to indicate inter-character delay values of 8/240 through 120/240 of a second (i.e. the fastest rate is 30 characters per second and the slowest is 2 per second). This is like a 2-bit "excess -3" exponent and a 3-bit mantissa.
In separate, earlier correspondence, Spelvin suggested other similar all-integer formats, with denormals but without infinities or NANs. The exponent excess is taken to be whatever value causes the denorms to use the same storage format as the corresponding integer.
Using 0.5.3 format as an example: There is no sign bit, so all values are positive. When the exponent field is 0, the mantissa is denormalized. So the values (in binary) 00000.000 through 00000.111 express the integers 0 through 7. The next exponent value is 00001 in binary, its 1 bit happens to correspond with the implied leading 1 of the (now normalized) mantissa, so values 00001.000 through 00001.111 express integers 8 through 15. Notice how all of these values for the integers 0 through 15 are the same as the normal 8-bit integer representation.
After that, values scale in the normal way: 00010.000 through 00010.111 expresses the even integers 16 through 30 (note that only the first of these corresponds to the integer representation); 00011.000 through 00011.111 are the multiples of 4 from 32 through 60; and so on. The highest value is 11111.111 which is 15×2^{30} = 2^{25-2}×(2^{3+1}-1) = 16106127360. Another similar format is 0.4.4, excess -4, which expresses integers from 0 up to 2^{24-2}×(2^{4+1}-1) = 507904.
In general, using E exponent bits and M mantissa bits, you can express all integers from 0 to 2^{M+1}, and various higher values up to 2^{2E-2}×(2^{M+1}-1).
Here is a table presenting most of the smaller entries from the main table in a somewhat different format, along with the integer-only formats that bias the exponent so that the smallest denorm is 1.
s.e.m | excess | range | comments |
1.1.1 | 0 | 1 to 3 | Less range than signed-magnitude integer |
1.2.0 | 0 | 1 to 4 | The smallest format whose range exceeds that of the same number of bits interpreted as a signed-magnitude integer |
1.2.1 | 0 | 1 to 12 | Best use of 4 bits |
1.2.2 | -2 | 1 to 28 | Using no infinity values; range is 1 to 24 if the biggest values are used for infinities |
0.2.3 | -3 | 8 to 120 | IBM PC typematic parameter^{34} |
1.3.2 | 3 | 0.0625 to 14 | Used in university courses^{21},^{22} |
0.4.4 | -4 | 1 to 507904 | George Spelvin^{34} |
0.5.3 | -8 | 1 to 16106127360 | George Spelvin^{34} |
1.4.3 | -3 | 1 to 229376 | About the best compromise for a 1-byte format |
1.4.3 | 7 | 0.002 to 240 | Used in university courses^{21},^{22} |
1.4.7 | -7 | 1 to 4161536 | One option for 12 bits |
1.5.6 | -6 | 1 to 1.35×10^{11} | Another option for 12 bits |
1.5.10 | -10 | 1 to 2.20×10^{12} | Largest unbalanced format; range exceeds 32-bit unsigned |
1.5.10 | 15 | 0.000061 to 65504 | IEEE 754-2008 binary16, also called "half", "s10e5", "fp16". 2-byte, excess-15 exponent^{24},^{25},^{27},^{33}. Can approximate any 16-bit unsigned integer or its reciprocal to 3 decimal places. |
1.5.12 | 15 | 1/M to 2.81×10^{14} | A fairly decent radix-8 format in an 18 bit PDP-10 word |
1.7.16 | 63 | 1/M to 9.22×10^{18} | 3-byte excess-63^{17}, aka "fp24", "s16e7" |
Footnotes
1 : http://http.cs.berkeley.edu/~wkahan/ieee754status/why-ieee.pdf W. Kahan, "Why do we need a floating-point arithmetic standard?", 1981
2 : http://http.cs.berkeley.edu/~wkahan/ieee754status/Names.pdf W. Kahan, "Names for Standardized Floating-Point Formats", 2002 (work in progress)
3 : http://754r.ucbtest.org/ "Some Proposals for Revising ANSI/IEEE Std 754-1985"
4 : http://www2.hursley.ibm.com/decimal/DPDecimal.html "A Summary of Densely Packed Decimal encoding" (web page)
5 : http://www3.sk.sympatico.ca/jbayko/cpu1.html
6 : http://twins.pmf.ukim.edu.mk/predava/DSM/procesor/float.htm
7 : http://www.cc.gatech.edu/gvu/people/randy.carpenter/folklore/v5n2.html
8 : http://www.usm.uni-muenchen.de/people/puls/f77to90/cray.html
9 : http://www.usm.uni-muenchen.de/people/puls/f77to90/alpha.html
10 : http://www.research.ibm.com/journal/rd/435/schwarz.html and http://www.research.ibm.com/journal/rd/435/schwa1.gif
11 : http://babbage.cs.qc.edu/courses/cs341/IEEE-754references.html
12 : One source gave 8^{31} as the range for the Burroughs B5500. (I forgot to save my source for this. I have sources for other Burroughs systems, giving 8^{76} as the highest value (and 8^{-50} as the lowest, for a field width of 7 bits). I might have inferred it from http://www.cs.science.cmu.ac.th/panutson/433.htm which only gives a field width of 6 bits, and no bias. The Burroughs 5000 manual says the mantissa is 39 bits, but does not talk about exponent range. Did some models have a 6-bit exponent field? Since these are the folks who simplified things by storing all integers as floating-point numbers with an exponent of 0 ^{}17, I suspect anything is possible.
13 : http://www2.hursley.ibm.com/decimal/IEEE-cowlishaw-arith16.pdf Michael F. Cowlishaw, "Decimal Floating-Point: Algorism for Computers", Proceedings of the 16^{th} IEEE Symposium on Computer Arithmetic, 2003; ISSN 1063-6889/03
14 : http://research.microsoft.com/users/GBell/Computer_Structures_Principles_and_Examples/csp0146.htm D. Siewiorek, C. Gordon Bell and Allen Newell, "Computer Structures: Principles and Examples", 1982, p. 130
15 : http://research.microsoft.com/~gbell/Computer_Structures__Readings_and_Examples/00000612.htm C. Gordon Bell and Allen Newell, "Computer Structures: Readings and Examples", 1971, p. 592.
16 : http://www.netlib.org/slap/slapqc.tgz FORTRAN-90 implementation of a linear algebra package, including a file (mach.f) which curiously begins with a table of machine floating-point register parameters for lots of old mainframes. See also the NETLIB D1MACH fiunction, which gives similar values for many systems. (formerly at http://www.csit.fsu.edu/~burkardt/f_src/slap/slap.f90 and http://interval.louisiana.edu/pub/interval_math/Fortran_90_software/d1i1mach.for respectively)
17 : http://grouper.ieee.org/groups/754/meeting-minutes/02-04-18.html Includes this brief description of the key design feature of the Burroughs B5500: "ints and floats with the same value have the same strings in registers and memory. The octal point at the right, zero exponent." This shows why the exponent range is quoted as 8^{-50} (or 8^{-51}) to 8^{76}: The exponent ranged from 8^{-63} to 8^{63}, and the (for floating-point, always normalized) 13-digit mantissa held any value from 8^{12} up to nearly 8^{13}, shifting both ends of the range up by that amount.
18 : http://www.inwap.com/pdp10/hbaker/pdp-10/Floating-Point.html
19 : http://nssdc.gsfc.nasa.gov/nssdc/formats/PDP-11.htm
21 : http://turing.cs.plymouth.edu/~wjt/Architecture/CS-APP/L05-FloatingPoint.pdf This lecture presentation (or a variation of it) appears at clarkson.edu, plymouth.edu, sc.edu, ucar.edu, umd.edu, umn.edu, utah.edu, utexas.edu and vancouver.wsu.edu. Good discussion of floating-point representations, subnormals, rounding modes and various other issues. Pages 14-16 use the 1.4.3 microfloat format as an example to illustrate in a very concrete way how the subnormals, normals and NANs are related; pages 17-18 use the even smaller 1.3.2 format to show the range of representable values on a number line. Make sure to see page 30 — this alone is worth the effort of downloading and viewing the document!
22 : http://www-2.cs.cmu.edu/afs/cs.cmu.edu/academic/class/15213-f98/H3/H3.pdf Homework assignment that uses the microfloat formats 1.4.3 and 1.3.2. Another similar one is here.
23 : http://www.arl.wustl.edu/~lockwood/class/cse306-s04/lecture/l11.html Lecture notes that use the 1.3.5 minifloat format for in-class examples.
24 : http://developer.nvidia.com/docs/IO/8230/D3DTutorial1_Shaders.ppt nVidia presentation describing their fp16 format (starting on slide 75).
25 : http://developer.nvidia.com/attach/6655 nVidia language specification including definition of fp16 format (page 175).
26 : http://www.cs.unc.edu/Events/Conferences/GP2/slides/hanrahan.pdf describes the nVidia GeForce 6800 and ATI Radeon 9800 graphics cards as general-purpose pipelined vector floating-point processors, and shows a rough design for a supercomputer employing 16384 of the GPU chips to achieve a theoretical throughput of 2 petaflops (2×10^{15} floating-point operations per second). The rackmount pictured is described here.
27 : http://www.digit-life.com/articles2/ps-precision/ This is the only source I have found that describes all of the current hardware standard formats, from IEEE binary128 all the way down to nVIDIA s10e5.
28 : Wikipedia, IEEE 754 revision. Good summary of the development of IEEE 754-2008.
29 : http://grouper.ieee.org/groups/754/revision.html Official status of the IEEE working group responsible for 754r.
31 : http://en.wikipedia.org/wiki/Floating_point Wikipedia, Floating point (encyclopedia article). While it's possible the idea of floating-point might have been devised for use in mechanical calculators, Konrad Zuse had formulated the ideas behind his model Z3 before building the Z1, and the Z3 is generally regarded as the first generally-programmable computer (more on that topic here),
32 : http://www.epemag.com/zuse/part3c.htm Horst Zuse, The Life and Work of Konrad Zuse. The Zuse Z1 took numeric input from the operator in decimal form, and then converted it to binary. For output, binary was converted back to decimal. The input and output devides both used 5 decimal digits and an exponent ranging from 10^{-8} to 10^{8}. However, the internal representation had 7 binary digits of exponent, so the range for intermediate calculations was somewhat larger — perhaps 2^{63} or 2^{64}. Zuse Z3 was similar, but had 4 or 5 digits and exponent ranges of -9 to 9 (for input) and -13 to +12 (for output).
33 : http://www.gpgpu.org/s2004/slides/buck.StrategiesAndTricks.ppt Ian Buck, GPU Computation Strategies & Tricks, PowerPoint slides. Slide 4 describes the ATI and nVidia floating-point formats at the time (2004).
34 : George Spelvin, email correspondence.
35 : http://www.trs-80.com/trs80-zaps-internals.htm The TRS-80 passes 4-byte single-precision (and with Level II BASIC, 8-byte double-precision) values into and out of its ROM routines, and it is clear that one byte is an exponent. The exponent is often described as being in excess-128 (or "XS128") format. However, as reported by reader Ulrich Müller, emulators show that the range is 2^{127}, and that the internal representation actually uses excess-129.
37 : Wikipedia, IEEE 754-2008.
38 : Wikipedia, Decimal128 floating-point format.
39 : Robert Munafo, F107 and F161 High-Precision Floating-Point Data Types
41 : For many more references on double-double and quad-double techniques, see the bibliography on my f107 and f161 page.
42 : Queen's University, Minifloat.java (source code), August 20, 2003. This is a confirmed source of the term "minifloat" that pre-dates my usage. The link was http://www.caslab.queensu.ca/~apsc142i/W2003/lecturenotes/Section_BCDJ/Lecture15/Minifloat.java, and this link is dead, but it can probably still be viewed at archive.org here: Minifloat.java (20030820).
43 : Robert Munafo, Survey of Floating-Point Formats, Sep 17, 2004. (Note the lack of the words "minifloat" and "microfloat".)
44 : Robert Munafo, Survey of Floating-Point Formats, Sep 22, 2004. This page uses the words minifloat and microfloat.
45 : Industrial Light & Magic (a division of Lucas Digital Ltd. LLC), s10e5 C++ class, with rounding improvements and other changes by Robert Munafo. Use is subject to the copyright and distribution conditions in its header comment. There are two other files (which I have not used): s10e5-limits.h and s10e5-function.h.
46 : John J. G. Savard ("quadibloc"), Floating-Point Formats fills in many of the details for old mainframe computers with nice color-coded diagrams for each.
47 : Vincent Lefevre, email correspondence.
Other Sources
Lennart Benschop
datapeak.net Computer History (a long timeline of events in reverse order, with many pictures)
Previous addresses of This Page
home.earthlink.net/~mrob/pub/math/floatformats.html
See also:
This page was last updated on 2015 Jan 01. s.11