|
|
DataMuseum.dkPresents historical artifacts from the history of: RC9000 |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about RC9000 Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - downloadIndex: i
Length: 3609 (0xe19)
Names: »ieee.3m«
└─⟦50656ff4a⟧ Bits:30010538 TX 3.1 Coldstart
└─⟦bbf173f5c⟧ »0004«
└─⟦this⟧ »./bsd/usr/man/cat3/ieee.3m«
0x000…020 0a 0a 0a 5f 08 4f 5f 08 6e 5f 08 6c 5f 08 69 5f 08 6e 5f 08 65 20 5f 08 4d 5f 08 61 5f 08 6e 5f ┆ _ O_ n_ l_ i_ n_ e _ M_ a_ n_┆ 0x020…040 08 75 5f 08 61 5f 08 6c 20 20 20 20 20 20 20 20 20 20 20 4c 69 62 72 61 72 79 20 46 75 6e 63 74 ┆ u_ a_ l Library Funct┆ 0x040…060 69 6f 6e 73 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 69 65 65 65 28 33 6d 29 0a 0a 0a 0a ┆ions ieee(3m) ┆ 0x060…080 4e 08 4e 08 4e 08 4e 41 08 41 08 41 08 41 4d 08 4d 08 4d 08 4d 45 08 45 08 45 08 45 0a 20 20 20 ┆N N N NA A A AM M M ME E E E ┆ 0x080…0a0 20 20 63 6f 70 79 73 69 67 6e 2c 20 64 72 65 6d 2c 20 66 69 6e 69 74 65 2c 20 6c 6f 67 62 2c 20 ┆ copysign, drem, finite, logb, ┆ 0x0a0…0c0 73 63 61 6c 62 20 2d 20 63 6f 70 79 73 69 67 6e 2c 20 72 65 6d 61 69 6e 64 65 72 2c 0a 20 20 20 ┆scalb - copysign, remainder, ┆ 0x0c0…0e0 20 20 65 78 70 6f 6e 65 6e 74 20 6d 61 6e 69 70 75 6c 61 74 69 6f 6e 73 0a 0a 53 08 53 08 53 08 ┆ exponent manipulations S S S ┆ 0x0e0…100 53 59 08 59 08 59 08 59 4e 08 4e 08 4e 08 4e 54 08 54 08 54 08 54 41 08 41 08 41 08 41 58 08 58 ┆SY Y Y YN N N NT T T TA A A AX X┆ 0x100…120 08 58 08 58 0a 20 20 20 20 20 23 08 23 08 23 08 23 69 08 69 08 69 08 69 6e 08 6e 08 6e 08 6e 63 ┆ X X # # # #i i i in n n nc┆ 0x120…140 08 63 08 63 08 63 6c 08 6c 08 6c 08 6c 75 08 75 08 75 08 75 64 08 64 08 64 08 64 65 08 65 08 65 ┆ c c cl l l lu u u ud d d de e e┆ 0x140…160 08 65 20 3c 08 3c 08 3c 08 3c 6d 08 6d 08 6d 08 6d 61 08 61 08 61 08 61 74 08 74 08 74 08 74 68 ┆ e < < < <m m m ma a a at t t th┆ 0x160…180 08 68 08 68 08 68 2e 08 2e 08 2e 08 2e 68 08 68 08 68 08 68 3e 08 3e 08 3e 08 3e 0a 0a 20 20 20 ┆ h h h. . . .h h h h> > > > ┆ 0x180…1a0 20 20 64 08 64 08 64 08 64 6f 08 6f 08 6f 08 6f 75 08 75 08 75 08 75 62 08 62 08 62 08 62 6c 08 ┆ d d d do o o ou u u ub b b bl ┆ 0x1a0…1c0 6c 08 6c 08 6c 65 08 65 08 65 08 65 20 63 08 63 08 63 08 63 6f 08 6f 08 6f 08 6f 70 08 70 08 70 ┆l l le e e e c c c co o o op p p┆ 0x1c0…1e0 08 70 79 08 79 08 79 08 79 73 08 73 08 73 08 73 69 08 69 08 69 08 69 67 08 67 08 67 08 67 6e 08 ┆ py y y ys s s si i i ig g g gn ┆ 0x1e0…200 6e 08 6e 08 6e 28 08 28 08 28 08 28 78 08 78 08 78 08 78 2c 08 2c 08 2c 08 2c 79 08 79 08 79 08 ┆n n n( ( ( (x x x x, , , ,y y y ┆ 0x200…220 79 29 08 29 08 29 08 29 0a 20 20 20 20 20 64 08 64 08 64 08 64 6f 08 6f 08 6f 08 6f 75 08 75 08 ┆y) ) ) ) d d d do o o ou u ┆ 0x220…240 75 08 75 62 08 62 08 62 08 62 6c 08 6c 08 6c 08 6c 65 08 65 08 65 08 65 20 78 08 78 08 78 08 78 ┆u ub b b bl l l le e e e x x x x┆ 0x240…260 2c 08 2c 08 2c 08 2c 79 08 79 08 79 08 79 3b 08 3b 08 3b 08 3b 0a 0a 20 20 20 20 20 64 08 64 08 ┆, , , ,y y y y; ; ; ; d d ┆ 0x260…280 64 08 64 6f 08 6f 08 6f 08 6f 75 08 75 08 75 08 75 62 08 62 08 62 08 62 6c 08 6c 08 6c 08 6c 65 ┆d do o o ou u u ub b b bl l l le┆ 0x280…2a0 08 65 08 65 08 65 20 64 08 64 08 64 08 64 72 08 72 08 72 08 72 65 08 65 08 65 08 65 6d 08 6d 08 ┆ e e e d d d dr r r re e e em m ┆ 0x2a0…2c0 6d 08 6d 28 08 28 08 28 08 28 78 08 78 08 78 08 78 2c 08 2c 08 2c 08 2c 79 08 79 08 79 08 79 29 ┆m m( ( ( (x x x x, , , ,y y y y)┆ 0x2c0…2e0 08 29 08 29 08 29 0a 20 20 20 20 20 64 08 64 08 64 08 64 6f 08 6f 08 6f 08 6f 75 08 75 08 75 08 ┆ ) ) ) d d d do o o ou u u ┆ 0x2e0…300 75 62 08 62 08 62 08 62 6c 08 6c 08 6c 08 6c 65 08 65 08 65 08 65 20 78 08 78 08 78 08 78 2c 08 ┆ub b b bl l l le e e e x x x x, ┆ 0x300…320 2c 08 2c 08 2c 79 08 79 08 79 08 79 3b 08 3b 08 3b 08 3b 0a 0a 20 20 20 20 20 69 08 69 08 69 08 ┆, , ,y y y y; ; ; ; i i i ┆ 0x320…340 69 6e 08 6e 08 6e 08 6e 74 08 74 08 74 08 74 20 66 08 66 08 66 08 66 69 08 69 08 69 08 69 6e 08 ┆in n n nt t t t f f f fi i i in ┆ 0x340…360 6e 08 6e 08 6e 69 08 69 08 69 08 69 74 08 74 08 74 08 74 65 08 65 08 65 08 65 28 08 28 08 28 08 ┆n n ni i i it t t te e e e( ( ( ┆ 0x360…380 28 78 08 78 08 78 08 78 29 08 29 08 29 08 29 0a 20 20 20 20 20 64 08 64 08 64 08 64 6f 08 6f 08 ┆(x x x x) ) ) ) d d d do o ┆ 0x380…3a0 6f 08 6f 75 08 75 08 75 08 75 62 08 62 08 62 08 62 6c 08 6c 08 6c 08 6c 65 08 65 08 65 08 65 20 ┆o ou u u ub b b bl l l le e e e ┆ 0x3a0…3c0 78 08 78 08 78 08 78 3b 08 3b 08 3b 08 3b 0a 0a 20 20 20 20 20 64 08 64 08 64 08 64 6f 08 6f 08 ┆x x x x; ; ; ; d d d do o ┆ 0x3c0…3e0 6f 08 6f 75 08 75 08 75 08 75 62 08 62 08 62 08 62 6c 08 6c 08 6c 08 6c 65 08 65 08 65 08 65 20 ┆o ou u u ub b b bl l l le e e e ┆ 0x3e0…400 6c 08 6c 08 6c 08 6c 6f 08 6f 08 6f 08 6f 67 08 67 08 67 08 67 62 08 62 08 62 08 62 28 08 28 08 ┆l l l lo o o og g g gb b b b( ( ┆ 0x400…420 28 08 28 78 08 78 08 78 08 78 29 08 29 08 29 08 29 0a 20 20 20 20 20 64 08 64 08 64 08 64 6f 08 ┆( (x x x x) ) ) ) d d d do ┆ 0x420…440 6f 08 6f 08 6f 75 08 75 08 75 08 75 62 08 62 08 62 08 62 6c 08 6c 08 6c 08 6c 65 08 65 08 65 08 ┆o o ou u u ub b b bl l l le e e ┆ 0x440…460 65 20 78 08 78 08 78 08 78 3b 08 3b 08 3b 08 3b 0a 0a 20 20 20 20 20 64 08 64 08 64 08 64 6f 08 ┆e x x x x; ; ; ; d d d do ┆ 0x460…480 6f 08 6f 08 6f 75 08 75 08 75 08 75 62 08 62 08 62 08 62 6c 08 6c 08 6c 08 6c 65 08 65 08 65 08 ┆o o ou u u ub b b bl l l le e e ┆ 0x480…4a0 65 20 73 08 73 08 73 08 73 63 08 63 08 63 08 63 61 08 61 08 61 08 61 6c 08 6c 08 6c 08 6c 62 08 ┆e s s s sc c c ca a a al l l lb ┆ 0x4a0…4c0 62 08 62 08 62 28 08 28 08 28 08 28 78 08 78 08 78 08 78 2c 08 2c 08 2c 08 2c 6e 08 6e 08 6e 08 ┆b b b( ( ( (x x x x, , , ,n n n ┆ 0x4c0…4e0 6e 29 08 29 08 29 08 29 0a 20 20 20 20 20 64 08 64 08 64 08 64 6f 08 6f 08 6f 08 6f 75 08 75 08 ┆n) ) ) ) d d d do o o ou u ┆ 0x4e0…500 75 08 75 62 08 62 08 62 08 62 6c 08 6c 08 6c 08 6c 65 08 65 08 65 08 65 20 78 08 78 08 78 08 78 ┆u ub b b bl l l le e e e x x x x┆ 0x500…520 3b 08 3b 08 3b 08 3b 0a 20 20 20 20 20 69 08 69 08 69 08 69 6e 08 6e 08 6e 08 6e 74 08 74 08 74 ┆; ; ; ; i i i in n n nt t t┆ 0x520…540 08 74 20 6e 08 6e 08 6e 08 6e 3b 08 3b 08 3b 08 3b 0a 0a 44 08 44 08 44 08 44 45 08 45 08 45 08 ┆ t n n n n; ; ; ; D D D DE E E ┆ 0x540…560 45 53 08 53 08 53 08 53 43 08 43 08 43 08 43 52 08 52 08 52 08 52 49 08 49 08 49 08 49 50 08 50 ┆ES S S SC C C CR R R RI I I IP P┆ 0x560…580 08 50 08 50 54 08 54 08 54 08 54 49 08 49 08 49 08 49 4f 08 4f 08 4f 08 4f 4e 08 4e 08 4e 08 4e ┆ P PT T T TI I I IO O O ON N N N┆ 0x580…5a0 0a 20 20 20 20 20 54 68 65 73 65 20 66 75 6e 63 74 69 6f 6e 73 20 61 72 65 20 72 65 71 75 69 72 ┆ These functions are requir┆ 0x5a0…5c0 65 64 20 66 6f 72 2c 20 6f 72 20 72 65 63 6f 6d 6d 65 6e 64 65 64 20 62 79 20 74 68 65 20 49 45 ┆ed for, or recommended by the IE┆ 0x5c0…5e0 45 45 0a 20 20 20 20 20 73 74 61 6e 64 61 72 64 20 37 35 34 20 66 6f 72 20 66 6c 6f 61 74 69 6e ┆EE standard 754 for floatin┆ 0x5e0…600 67 2d 70 6f 69 6e 74 20 61 72 69 74 68 6d 65 74 69 63 2e 0a 0a 20 20 20 20 20 43 6f 70 79 73 69 ┆g-point arithmetic. Copysi┆ 0x600…620 67 6e 28 78 2c 79 29 20 72 65 74 75 72 6e 73 20 78 20 77 69 74 68 20 69 74 73 20 73 69 67 6e 20 ┆gn(x,y) returns x with its sign ┆ 0x620…640 63 68 61 6e 67 65 64 20 74 6f 20 79 27 73 2e 0a 0a 20 20 20 20 20 44 72 65 6d 28 78 2c 79 29 20 ┆changed to y's. Drem(x,y) ┆ 0x640…660 72 65 74 75 72 6e 73 20 74 68 65 20 72 65 6d 61 69 6e 64 65 72 20 72 20 3a 3d 20 78 20 2d 20 6e ┆returns the remainder r := x - n┆ 0x660…680 2a 79 20 77 68 65 72 65 20 6e 20 69 73 20 74 68 65 0a 20 20 20 20 20 69 6e 74 65 67 65 72 20 6e ┆*y where n is the integer n┆ 0x680…6a0 65 61 72 65 73 74 20 74 68 65 20 65 78 61 63 74 20 76 61 6c 75 65 20 6f 66 20 78 2f 79 3b 20 6d ┆earest the exact value of x/y; m┆ 0x6a0…6c0 6f 72 65 6f 76 65 72 20 69 66 0a 20 20 20 20 20 7c 6e 2d 78 2f 79 7c 3d 31 2f 32 20 74 68 65 6e ┆oreover if |n-x/y|=1/2 then┆ 0x6c0…6e0 20 6e 20 69 73 20 65 76 65 6e 2e 20 20 43 6f 6e 73 65 71 75 65 6e 74 6c 79 20 74 68 65 20 72 65 ┆ n is even. Consequently the re┆ 0x6e0…700 6d 61 69 6e 64 65 72 20 69 73 0a 20 20 20 20 20 63 6f 6d 70 75 74 65 64 20 65 78 61 63 74 6c 79 ┆mainder is computed exactly┆ 0x700…720 20 61 6e 64 20 7c 72 7c 20 3c 08 5f 20 7c 79 7c 2f 32 2e 20 20 42 75 74 20 64 72 65 6d 28 78 2c ┆ and |r| < _ |y|/2. But drem(x,┆ 0x720…740 30 29 20 69 73 20 65 78 63 65 70 2d 0a 20 20 20 20 20 74 69 6f 6e 61 6c 3b 20 73 65 65 20 62 65 ┆0) is excep- tional; see be┆ 0x740…760 6c 6f 77 20 75 6e 64 65 72 20 44 49 41 47 4e 4f 53 54 49 43 53 2e 0a 0a 20 20 20 20 20 46 69 6e ┆low under DIAGNOSTICS. Fin┆ 0x760…780 69 74 65 28 78 29 20 3d 20 31 20 6a 75 73 74 20 77 68 65 6e 20 2d 69 6e 66 69 6e 69 74 79 20 3c ┆ite(x) = 1 just when -infinity <┆ 0x780…7a0 20 78 20 3c 20 2b 69 6e 66 69 6e 69 74 79 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 3d ┆ x < +infinity, =┆ 0x7a0…7c0 20 30 20 6f 74 68 65 72 77 69 73 65 20 28 77 68 65 6e 20 7c 78 7c 20 3d 20 69 6e 66 69 6e 69 74 ┆ 0 otherwise (when |x| = infinit┆ 0x7c0…7e0 79 20 6f 72 20 78 20 69 73 20 5f 08 4e 5f 08 61 5f 08 4e 29 0a 0a 20 20 20 20 20 4c 6f 67 62 28 ┆y or x is _ N_ a_ N) Logb(┆ 0x7e0…800 78 29 20 72 65 74 75 72 6e 73 20 78 27 73 20 65 78 70 6f 6e 65 6e 74 20 6e 2c 20 61 20 73 69 67 ┆x) returns x's exponent n, a sig┆ 0x800…820 6e 65 64 20 69 6e 74 65 67 65 72 20 63 6f 6e 76 65 72 74 65 64 0a 20 20 20 20 20 74 6f 20 64 6f ┆ned integer converted to do┆ 0x820…840 75 62 6c 65 2d 70 72 65 63 69 73 69 6f 6e 20 66 6c 6f 61 74 69 6e 67 2d 70 6f 69 6e 74 20 61 6e ┆uble-precision floating-point an┆ 0x840…860 64 20 73 6f 20 63 68 6f 73 65 6e 20 74 68 61 74 0a 20 20 20 20 20 31 20 3c 08 5f 20 7c 78 7c 2f ┆d so chosen that 1 < _ |x|/┆ 0x860…880 32 2a 2a 6e 20 3c 20 32 20 75 6e 6c 65 73 73 20 78 20 3d 20 30 20 6f 72 20 7c 78 7c 20 3d 20 69 ┆2**n < 2 unless x = 0 or |x| = i┆ 0x880…8a0 6e 66 69 6e 69 74 79 20 6f 72 20 78 20 6c 69 65 73 0a 20 20 20 20 20 62 65 74 77 65 65 6e 20 30 ┆nfinity or x lies between 0┆ 0x8a0…8c0 20 61 6e 64 20 74 68 65 20 55 6e 64 65 72 66 6c 6f 77 20 54 68 72 65 73 68 6f 6c 64 2e 0a 0a 20 ┆ and the Underflow Threshold. ┆ 0x8c0…8e0 20 20 20 20 53 63 61 6c 62 28 78 2c 6e 29 20 3d 20 78 2a 28 32 2a 2a 6e 29 20 63 6f 6d 70 75 74 ┆ Scalb(x,n) = x*(2**n) comput┆ 0x8e0…900 65 64 2c 20 66 6f 72 20 69 6e 74 65 67 65 72 20 6e 2c 20 77 69 74 68 6f 75 74 20 66 69 72 73 74 ┆ed, for integer n, without first┆ 0x900…920 0a 20 20 20 20 20 63 6f 6d 70 75 74 69 6e 67 20 32 2a 2a 6e 2e 0a 0a 44 08 44 08 44 08 44 49 08 ┆ computing 2**n. D D D DI ┆ 0x920…940 49 08 49 08 49 41 08 41 08 41 08 41 47 08 47 08 47 08 47 4e 08 4e 08 4e 08 4e 4f 08 4f 08 4f 08 ┆I I IA A A AG G G GN N N NO O O ┆ 0x940…960 4f 53 08 53 08 53 08 53 54 08 54 08 54 08 54 49 08 49 08 49 08 49 43 08 43 08 43 08 43 53 08 53 ┆OS S S ST T T TI I I IC C C CS S┆ 0x960…980 08 53 08 53 0a 20 20 20 20 20 49 45 45 45 20 37 35 34 20 64 65 66 69 6e 65 73 20 64 72 65 6d 28 ┆ S S IEEE 754 defines drem(┆ 0x980…9a0 78 2c 30 29 20 61 6e 64 20 64 72 65 6d 28 69 6e 66 69 6e 69 74 79 2c 79 29 20 74 6f 20 62 65 0a ┆x,0) and drem(infinity,y) to be ┆ 0x9a0…9c0 20 20 20 20 20 69 6e 76 61 6c 69 64 20 6f 70 65 72 61 74 69 6f 6e 73 20 74 68 61 74 20 70 72 6f ┆ invalid operations that pro┆ 0x9c0…9e0 64 75 63 65 20 61 20 5f 08 4e 5f 08 61 5f 08 4e 2e 0a 0a 20 20 20 20 20 49 45 45 45 20 37 35 34 ┆duce a _ N_ a_ N. IEEE 754┆ 0x9e0…a00 20 64 65 66 69 6e 65 73 20 6c 6f 67 62 28 2b 08 5f 69 6e 66 69 6e 69 74 79 29 20 3d 20 2b 69 6e ┆ defines logb(+ _infinity) = +in┆ 0xa00…a20 66 69 6e 69 74 79 20 61 6e 64 20 6c 6f 67 62 28 30 29 20 3d 0a 20 20 20 20 20 2d 69 6e 66 69 6e ┆finity and logb(0) = -infin┆ 0xa20…a40 69 74 79 2c 20 72 65 71 75 69 72 65 73 20 74 68 65 20 6c 61 74 74 65 72 20 74 6f 20 73 69 67 6e ┆ity, requires the latter to sign┆ 0xa40…a60 61 6c 20 44 69 76 69 73 69 6f 6e 2d 62 79 2d 5a 65 72 6f 2e 0a 0a 53 08 53 08 53 08 53 45 08 45 ┆al Division-by-Zero. S S S SE E┆ 0xa60…a80 08 45 08 45 45 08 45 08 45 08 45 20 41 08 41 08 41 08 41 4c 08 4c 08 4c 08 4c 53 08 53 08 53 08 ┆ E EE E E E A A A AL L L LS S S ┆ 0xa80…aa0 53 4f 08 4f 08 4f 08 4f 0a 20 20 20 20 20 4c 69 62 72 61 72 79 20 46 75 6e 63 74 69 6f 6e 73 20 ┆SO O O O Library Functions ┆ 0xaa0…ac0 28 33 6d 29 3a 20 66 6c 6f 6f 72 2c 20 69 6e 74 72 6f 0a 0a 41 08 41 08 41 08 41 55 08 55 08 55 ┆(3m): floor, intro A A A AU U U┆ 0xac0…ae0 08 55 54 08 54 08 54 08 54 48 08 48 08 48 08 48 4f 08 4f 08 4f 08 4f 52 08 52 08 52 08 52 0a 20 ┆ UT T T TH H H HO O O OR R R R ┆ 0xae0…b00 20 20 20 20 4b 77 6f 6b 2d 43 68 6f 69 20 4e 67 0a 0a 0a 0a 0a 0a 0a 0a 4b 08 4b 08 4b 08 4b 4e ┆ Kwok-Choi Ng K K K KN┆ 0xb00…b20 08 4e 08 4e 08 4e 4f 08 4f 08 4f 08 4f 57 08 57 08 57 08 57 4e 08 4e 08 4e 08 4e 20 50 08 50 08 ┆ N N NO O O OW W W WN N N N P P ┆ 0xb20…b40 50 08 50 52 08 52 08 52 08 52 4f 08 4f 08 4f 08 4f 42 08 42 08 42 08 42 4c 08 4c 08 4c 08 4c 45 ┆P PR R R RO O O OB B B BL L L LE┆ 0xb40…b60 08 45 08 45 08 45 4d 08 4d 08 4d 08 4d 53 08 53 08 53 08 53 0a 20 20 20 20 20 49 45 45 45 20 37 ┆ E E EM M M MS S S S IEEE 7┆ 0xb60…b80 35 34 20 63 75 72 72 65 6e 74 6c 79 20 73 70 65 63 69 66 69 65 73 20 74 68 61 74 20 6c 6f 67 62 ┆54 currently specifies that logb┆ 0xb80…ba0 28 64 65 6e 6f 72 6d 61 6c 69 7a 65 64 20 6e 6f 2e 29 20 3d 0a 20 20 20 20 20 6c 6f 67 62 28 74 ┆(denormalized no.) = logb(t┆ 0xba0…bc0 69 6e 69 65 73 74 20 6e 6f 72 6d 61 6c 69 7a 65 64 20 6e 6f 2e 20 3e 20 30 29 20 62 75 74 20 74 ┆iniest normalized no. > 0) but t┆ 0xbc0…be0 68 65 20 63 6f 6e 73 65 6e 73 75 73 20 68 61 73 0a 20 20 20 20 20 63 68 61 6e 67 65 64 20 74 6f ┆he consensus has changed to┆ 0xbe0…c00 20 74 68 65 20 73 70 65 63 69 66 69 63 61 74 69 6f 6e 20 69 6e 20 74 68 65 20 6e 65 77 20 70 72 ┆ the specification in the new pr┆ 0xc00…c20 6f 70 6f 73 65 64 20 49 45 45 45 20 73 74 61 6e 2d 0a 20 20 20 20 20 64 61 72 64 20 70 38 35 34 ┆oposed IEEE stan- dard p854┆ 0xc20…c40 2c 20 6e 61 6d 65 6c 79 20 74 68 61 74 20 6c 6f 67 62 28 78 29 20 73 61 74 69 73 66 79 0a 20 20 ┆, namely that logb(x) satisfy ┆ 0xc40…c60 20 20 20 20 20 20 20 20 31 20 3c 08 5f 20 73 63 61 6c 62 28 7c 78 7c 2c 2d 6c 6f 67 62 28 78 29 ┆ 1 < _ scalb(|x|,-logb(x)┆ 0xc60…c80 29 20 3c 20 52 61 64 69 78 20 20 20 2e 2e 2e 20 3d 20 32 20 66 6f 72 20 49 45 45 45 20 37 35 34 ┆) < Radix ... = 2 for IEEE 754┆ 0xc80…ca0 0a 20 20 20 20 20 66 6f 72 20 65 76 65 72 79 20 78 20 65 78 63 65 70 74 20 30 2c 20 69 6e 66 69 ┆ for every x except 0, infi┆ 0xca0…cc0 6e 69 74 79 20 61 6e 64 20 5f 08 4e 5f 08 61 5f 08 4e 2e 20 20 41 6c 6d 6f 73 74 20 65 76 65 72 ┆nity and _ N_ a_ N. Almost ever┆ 0xcc0…ce0 79 20 70 72 6f 2d 0a 20 20 20 20 20 67 72 61 6d 20 74 68 61 74 20 61 73 73 75 6d 65 73 20 37 35 ┆y pro- gram that assumes 75┆ 0xce0…d00 34 27 73 20 73 70 65 63 69 66 69 63 61 74 69 6f 6e 20 77 69 6c 6c 20 77 6f 72 6b 20 63 6f 72 72 ┆4's specification will work corr┆ 0xd00…d20 65 63 74 6c 79 20 69 66 0a 20 20 20 20 20 6c 6f 67 62 20 66 6f 6c 6c 6f 77 73 20 38 35 34 27 73 ┆ectly if logb follows 854's┆ 0xd20…d40 20 73 70 65 63 69 66 69 63 61 74 69 6f 6e 20 69 6e 73 74 65 61 64 2e 0a 0a 20 20 20 20 20 49 45 ┆ specification instead. IE┆ 0xd40…d60 45 45 20 37 35 34 20 72 65 71 75 69 72 65 73 20 63 6f 70 79 73 69 67 6e 28 78 2c 5f 08 4e 5f 08 ┆EE 754 requires copysign(x,_ N_ ┆ 0xd60…d80 61 5f 08 4e 29 20 3d 20 2b 08 5f 78 20 20 62 75 74 20 73 61 79 73 20 6e 6f 74 68 69 6e 67 0a 20 ┆a_ N) = + _x but says nothing ┆ 0xd80…da0 20 20 20 20 65 6c 73 65 20 61 62 6f 75 74 20 74 68 65 20 73 69 67 6e 20 6f 66 20 61 20 5f 08 4e ┆ else about the sign of a _ N┆ 0xda0…dc0 5f 08 61 5f 08 4e 2e 0a 0a 4d 61 72 63 68 20 31 39 38 39 20 20 20 20 20 20 20 20 20 20 20 20 20 ┆_ a_ N. March 1989 ┆ 0xdc0…de0 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 54 58 20 50 72 6f 67 72 61 6d 6d 65 72 27 73 ┆ TX Programmer's┆ 0xde0…e00 20 52 65 66 65 72 65 6e 63 65 0a 0a 0a 0a 0a 0a 0a 0a 0a 0a 0a 0a 0a 0a 0a 0a 0a 0a 0a 0a 0a 0a ┆ Reference ┆ 0xe00…e19 0a 0a 0a 0a 0a 0a 0a 0a 0a 0a 0a 0a 0a 0a 0a 0a 0a 0a 0a 0a 0a 0a 0a 0a 0a ┆ ┆