@@ -11,37 +11,37 @@ Float
11A mold for the floating-point arithmetic using the base of two, the formula is
11A mold for the floating-point arithmetic using the base of two, the formula is
12`(-1)^s * a * 2^e`.
12`(-1)^s * a * 2^e`.
14−Produces either a float (`$f`), an infinity of other sign (`$i`),
14+Produces either a float (`%f`), an infinity of other sign (`%i`),
15−or not-a-number (`$n`). `s` refers to sign, the `flag`s `&` or `|`; `e` to
15+or not-a-number (`%n`). `s` refers to sign, the `flag`s `&` or `|`; `e` to
16exponent, a signed decimal; and `a` to the significand, an unsigned integer.
16exponent, a signed decimal; and `a` to the significand, an unsigned integer.
18#### Source
18#### Source
22− $% [$f s=? e=@s a=@u]
22+ $% [%f s=? e=@s a=@u]
28#### Examples
28#### Examples
34− > (add:fl [%f & --33 2] [%f | --23 2])
34+> (add:fl [%f & --33 2] [%f | --23 2])
35− [%f s=%.y e=-79 a=10.374.452.512.267.829.421.849.019.032.797.184]
35+[%f s=%.y e=-79 a=10.374.452.512.267.829.421.849.019.032.797.184]
37− > (add:fl [%i &] [%i &])
37+> (add:fl [%i &] [%i &])
38− [%i s=%.y]
38+[%i s=%.y]
40− > (add:fl [%n ~] [%i |])
40+> (add:fl [%n ~] [%i |])
43− > (sun:fl 961.193.554.848.514.048.973.893.027.381.506.219.443)
43+> (sun:fl 961.193.554.848.514.048.973.893.027.381.506.219.443)
44− [%f s=%.y e=--17 a=7.333.324.850.834.000.007.430.214.137.126.970]
44+[%f s=%.y e=--17 a=7.333.324.850.834.000.007.430.214.137.126.970]
@@ -53,29 +53,29 @@ Decimal float
53A mold for the floating-point arithmetic using the base of 10; the formula is
53A mold for the floating-point arithmetic using the base of 10; the formula is
54`(-1)^s * a *10^e`.
54`(-1)^s * a *10^e`.
56−Valid values are a float (`$d`), an infinity (`$i`), or a not-a-number (`$n`).
56+Valid values are a float (`%d`), an infinity (`%i`), or a not-a-number (`%n`).
57`s` refers to sign, the `flag`s `&` or `|`; `e` to exponent, a signed decimal;
57`s` refers to sign, the `flag`s `&` or `|`; `e` to exponent, a signed decimal;
58and `a` to the significand, an unsigned integer.
58and `a` to the significand, an unsigned integer.
62− $% [$d s=? e=@s a=@u]
62+ $% [%d s=? e=@s a=@u]
68#### Examples
68#### Examples
71− > `dn`[%d & --0 17.163.091.968]
71+> `dn`[%d & --0 17.163.091.968]
72− [%d s=%.y e=--0 a=17.163.091.968]
72+[%d s=%.y e=--0 a=17.163.091.968]
74− > `dn`[%i s=%.y]
74+> `dn`[%i s=%.y]
75− [%i s=%.y]
75+[%i s=%.y]
77− > `dn`[%n ~]
77+> `dn`[%n ~]
@@ -87,23 +87,24 @@ Parsed decimal float
87A mold for the floating-point arithmetic using the base of 10; the formula is
87A mold for the floating-point arithmetic using the base of 10; the formula is
88`(-1)^s * a *10^e`.
88`(-1)^s * a *10^e`.
90−Produces either a parsed float (`$d`), infinity of either sign (`$i`), or
90+Produces either a parsed float (`%d`), infinity of either sign (`%i`), or
91−not-a-number (`$n`).
91+not-a-number (`%n`).
93#### Source
93#### Source
96− $% [$d a=? b=[c=@ [d=@ e=@] f=? i=@]]
97+ $% [%d a=? b=[c=@ [d=@ e=@] f=? i=@]]
102#### Examples
103#### Examples
105− > `rn`[%d | [2 [3 4] | 17.163]]
106+> `rn`[%d | [2 [3 4] | 17.163]]
106− [%d a=%.n b=[c=2 [d=3 e=4] f=%.n i=17.163]]
107+[%d a=%.n b=[c=2 [d=3 e=4] f=%.n i=17.163]]
@@ -119,25 +120,25 @@ Container arm for floating-point arithmetic functions.
119- Minimum exponent (`v`): minimum value of e. Default is -16.494.
120- Minimum exponent (`v`): minimum value of e. Default is -16.494.
120- Width (`w`): Max value of `e` minus min value of `e`. 0 is for fixed-point.
121- Width (`w`): Max value of `e` minus min value of `e`. 0 is for fixed-point.
121 Default is 32.765.
122 Default is 32.765.
122−- Rounding mode (`r`): Possible modes are nearest (`$n`), up (`$u`),
123+- Rounding mode (`r`): Possible modes are nearest (`%n`), up (`%u`),
123− down (`$d`), to zero (`$z`), and away from zero (`$a`). Default value is `%n`.
124+ down (`%d`), to zero (`%z`), and away from zero (`%a`). Default value is `%n`.
124−- Behavior (`d`): return denormals (`$d`), flush denormals to zero (`$z`),
125+- Behavior (`d`): return denormals (`%d`), flush denormals to zero (`%z`),
125− infinite exponent range (`$i`). Default value is `%d`.
126+ infinite exponent range (`%i`). Default value is `%d`.
127#### Source
128#### Source
131− =+ ^- [[p=@u v=@s w=@u] r=$?($n $u $d $z $a) d=$?($d $f $i)]
132+ =/ [[p=@u v=@s w=@u] r=$?(%n %u %d %z %a) d=$?(%d %f %i)]
132− [[113 -16.494 32.765] %n %d]
133+ [[113 -16.494 32.765] %n %d]
134− ~% %cofl +> ~
135+ ~% %cofl +> ~
140−### `++rou:fl`
141+### `^rou:fl`
@@ -156,25 +157,25 @@ An `fn`.
156#### Source
157#### Source
160− |= [a=[e=@s a=@u]] ^- fn (rau a &)
161+ |= [a=[e=@s a=@u]] ^- fn (rau a &)
163#### Examples
164#### Examples
166− > =a 10.161.487.211.429.486.882.397.572.894.294.017.777
167+> =a 10.161.487.211.429.486.882.397.572.894.294.017.777
167− > (^rou:fl [--12 a])
168+> (^rou:fl [--12 a])
168− [%f s=%.y e=--22 a=9.923.327.354.911.608.283.591.379.779.584.002]
169+[%f s=%.y e=--22 a=9.923.327.354.911.608.283.591.379.779.584.002]
170− > (^rou:fl [--12 (add a 1)])
171+> (^rou:fl [--12 (add a 1)])
171− [%f s=%.y e=--22 a=9.923.327.354.911.608.283.591.379.779.584.002]
172+[%f s=%.y e=--22 a=9.923.327.354.911.608.283.591.379.779.584.002]
173− > (^rou:fl [--12 (add a 300)])
174+> (^rou:fl [--12 (add a 300)])
174− [%f s=%.y e=--22 a=9.923.327.354.911.608.283.591.379.779.584.002]
175+[%f s=%.y e=--22 a=9.923.327.354.911.608.283.591.379.779.584.002]
176− > (^rou:fl [--12 (add a 1.000)])
177+> (^rou:fl [--12 (add a 1.000)])
177− [%f s=%.y e=--22 a=9.923.327.354.911.608.283.591.379.779.584.003]
178+[%f s=%.y e=--22 a=9.923.327.354.911.608.283.591.379.779.584.003]
@@ -200,29 +201,29 @@ An `fn`.
200#### Source
201#### Source
204− |= [a=[e=@s a=@u] t=?] ^- fn
205+ |= [a=[e=@s a=@u] t=?] ^- fn
206− $z (lug %fl a t) $d (lug %fl a t)
207+ %z (lug %fl a t) %d (lug %fl a t)
207− $a (lug %ce a t) $u (lug %ce a t)
208+ %a (lug %ce a t) %u (lug %ce a t)
208− $n (lug %ne a t)
209+ %n (lug %ne a t)
212#### Examples
213#### Examples
215− > (rau:fl [-18 342.602.577] &)
216+> (rau:fl [-18 342.602.577] &)
216− [%f s=%.y e=-102 a=6.626.897.619.228.945.634.459.505.846.648.832]
217+[%f s=%.y e=-102 a=6.626.897.619.228.945.634.459.505.846.648.832]
219#### Discussion
220#### Discussion
221−See `lug:fl` for possible rounding operations.
222+See [`lug:fl`](#lugfl) for possible rounding operations.
225−### `++add:fl`
226+### `^add:fl`
@@ -247,38 +248,38 @@ An `fn`.
247#### Source
248#### Source
251− |= [a=[e=@s a=@u] b=[e=@s a=@u] e=?] ^- fn
252+ |= [a=[e=@s a=@u] b=[e=@s a=@u] e=?] ^- fn
252− =+ q=(dif:si e.a e.b)
253+ =+ q=(dif:si e.a e.b)
253− |- ?. (syn:si q) $(b a, a b, q +(q)) :: a has larger exp
254+ |- ?. (syn:si q) $(b a, a b, q +(q))
255− [%f & e.b (^add (lsh 0 (abs:si q) a.a) a.b)]
256+ [%f & e.b (^add (lsh [0 (abs:si q)] a.a) a.b)]
256− =+ [ma=(met 0 a.a) mb=(met 0 a.b)]
257+ =+ [ma=(met 0 a.a) mb=(met 0 a.b)]
257− =+ ^= w %+ dif:si e.a %- sun:si :: expanded exp of a
258+ =+ ^= w %+ dif:si e.a %- sun:si
258− ?: (gth prc ma) (^sub prc ma) 0
259+ ?: (gth prc ma) (^sub prc ma) 0
259− =+ ^= x %+ sum:si e.b (sun:si mb) :: highest exp for b
260+ =+ ^= x %+ sum:si e.b (sun:si mb)
260− ?: =((cmp:si w x) --1) :: don't need to add
261+ ?: =((cmp:si w x) --1)
262− $z (lug %fl a &) $d (lug %fl a &)
263+ %z (lug %fl a &) %d (lug %fl a &)
263− $a (lug %lg a &) $u (lug %lg a &)
264+ %a (lug %lg a &) %u (lug %lg a &)
264− $n (lug %na a &)
265+ %n (lug %na a &)
266− (rou [e.b (^add (lsh 0 (abs:si q) a.a) a.b)])
267+ (rou [e.b (^add (lsh [0 (abs:si q)] a.a) a.b)])
269#### Examples
270#### Examples
272− > (^add:fl [--33 2.718] [--23 11] %.y)
273+> (^add:fl [--33 2.718] [--23 11] %.y)
273− [%f s=%.y e=--23 a=2.783.243]
274+[%f s=%.y e=--23 a=2.783.243]
275− > (^add:fl [--33 2.718] [--23 11] %.n)
276+> (^add:fl [--33 2.718] [--23 11] %.n)
276− [%f s=%.y e=-68 a=6.890.975.897.521.519.304.902.126.405.156.864]
277+[%f s=%.y e=-68 a=6.890.975.897.521.519.304.902.126.405.156.864]
281−### `++sub:fl`
282+### `^sub:fl`
@@ -300,42 +301,42 @@ An `fn`.
300#### Source
301#### Source
304− |= [a=[e=@s a=@u] b=[e=@s a=@u] e=?] ^- fn
305+ |= [a=[e=@s a=@u] b=[e=@s a=@u] e=?] ^- fn
305− =+ q=(dif:si e.a e.b)
306+ =+ q=(dif:si e.a e.b)
306− |- ?. (syn:si q)
307+ |- ?. (syn:si q)
307− (fli $(b a, a b, q +(q), r swr))
308+ (fli $(b a, a b, q +(q), r swr))
308− =+ [ma=(met 0 a.a) mb=(met 0 a.b)]
309+ =+ [ma=(met 0 a.a) mb=(met 0 a.b)]
309− =+ ^= w %+ dif:si e.a %- sun:si
310+ =+ ^= w %+ dif:si e.a %- sun:si
310− ?: (gth prc ma) (^sub prc ma) 0
311+ ?: (gth prc ma) (^sub prc ma) 0
311− =+ ^= x %+ sum:si e.b (sun:si +(mb))
312+ =+ ^= x %+ sum:si e.b (sun:si +(mb))
312− ?: &(!e =((cmp:si w x) --1))
313+ ?: &(!e =((cmp:si w x) --1))
314− $z (lug %sm a &) $d (lug %sm a &)
315+ %z (lug %sm a &) %d (lug %sm a &)
315− $a (lug %ce a &) $u (lug %ce a &)
316+ %a (lug %ce a &) %u (lug %ce a &)
316− $n (lug %nt a &)
317+ %n (lug %nt a &)
318− =+ j=(lsh 0 (abs:si q) a.a)
319+ =+ j=(lsh [0 (abs:si q)] a.a)
319− |- ?. (gte j a.b)
320+ |- ?. (gte j a.b)
320− (fli $(a.b j, j a.b, r swr))
321+ (fli $(a.b j, j a.b, r swr))
321− =+ i=(^sub j a.b)
322+ =+ i=(^sub j a.b)
322− ?~ i [%f & zer]
323+ ?~ i [%f & zer]
323− ?: e [%f & e.b i] (rou [e.b i])
324+ ?: e [%f & e.b i] (rou [e.b i])
326#### Examples
327#### Examples
329− > (^sub:fl [--33 2.718] [--23 11] %.y)
330+> (^sub:fl [--33 2.718] [--23 11] %.y)
330− [%f s=%.y e=--23 a=2.783.221]
331+[%f s=%.y e=--23 a=2.783.221]
332− > (^sub:fl [--33 2.718] [--63 11] %.y)
333+> (^sub:fl [--33 2.718] [--63 11] %.y)
333− [%f s=%.n e=--33 a=11.811.157.346]
334+[%f s=%.n e=--33 a=11.811.157.346]
338−### `++mul:fl`
339+### `^mul:fl`
@@ -355,21 +356,21 @@ An `fn`.
355#### Source
356#### Source
359− |= [a=[e=@s a=@u] b=[e=@s a=@u]] ^- fn
360+ |= [a=[e=@s a=@u] b=[e=@s a=@u]] ^- fn
360− (rou (sum:si e.a e.b) (^mul a.a a.b))
361+ (rou (sum:si e.a e.b) (^mul a.a a.b))
363#### Examples
364#### Examples
366− > (^mul:fl [--3 2.718] [--23 11])
367+> (^mul:fl [--3 2.718] [--23 11])
367− [%f s=%.y e=-72 a=9.475.054.411.405.900.661.487.108.108.582.912]
368+[%f s=%.y e=-72 a=9.475.054.411.405.900.661.487.108.108.582.912]
372−### `++div:fl`
373+### `^div:fl`
@@ -389,26 +390,26 @@ An `fn`.
389#### Source
390#### Source
393− |= [a=[e=@s a=@u] b=[e=@s a=@u]] ^- fn
394+ |= [a=[e=@s a=@u] b=[e=@s a=@u]] ^- fn
394− =+ [ma=(met 0 a.a) mb=(met 0 a.b)]
395+ =+ [ma=(met 0 a.a) mb=(met 0 a.b)]
395− =+ v=(dif:si (sun:si ma) (sun:si +((^add mb prc))))
396+ =+ v=(dif:si (sun:si ma) (sun:si +((^add mb prc))))
396− =. a ?: (syn:si v) a
397+ =. a ?: (syn:si v) a
397− a(e (sum:si v e.a), a (lsh 0 (abs:si v) a.a))
398+ a(e (sum:si v e.a), a (lsh [0 (abs:si v)] a.a))
398− =+ [j=(dif:si e.a e.b) q=(dvr a.a a.b)]
399+ =+ [j=(dif:si e.a e.b) q=(dvr a.a a.b)]
399− (rau [j p.q] =(q.q 0))
400+ (rau [j p.q] =(q.q 0))
402#### Examples
403#### Examples
405− > (^div:fl [--13 2.718] [--23 11])
406+> (^div:fl [--13 2.718] [--23 11])
406− [%f s=%.y e=-115 a=10.023.198.055.040.952.765.870.659.817.343.907]
407+[%f s=%.y e=-115 a=10.023.198.055.040.952.765.870.659.817.343.907]
411−### `++sqt:fl`
412+### `^sqt:fl`
413Square root
414Square root
@@ -425,28 +426,28 @@ An `fn`.
425#### Source
426#### Source
429− |= [a=[e=@s a=@u]] ^- fn
430+ |= [a=[e=@s a=@u]] ^- fn
431− =+ [w=(met 0 a.a) x=(^mul +(prc) 2)]
432+ =+ [w=(met 0 a.a) x=(^mul +(prc) 2)]
432− =+ ?:((^lth w x) (^sub x w) 0)
433+ =+ ?:((^lth w x) (^sub x w) 0)
433− =+ ?: =((dis - 1) (dis (abs:si e.a) 1)) -
434+ =+ ?: =((dis - 1) (dis (abs:si e.a) 1)) -
434− (^add - 1)
435+ (^add - 1)
435− a(e (dif:si e.a (sun:si -)), a (lsh 0 - a.a))
436+ a(e (dif:si e.a (sun:si -)), a (lsh [0 -] a.a))
436− =+ [y=(^sqt a.a) z=(fra:si e.a --2)]
437+ =+ [y=(^sqt a.a) z=(fra:si e.a --2)]
437− (rau [z p.y] =(q.y 0))
438+ (rau [z p.y] =(q.y 0))
440#### Examples
441#### Examples
443− > (^sqt:fl [-18 342.602.577])
444+> (^sqt:fl [-18 342.602.577])
444− [%f s=%.y e=-107 a=5.865.903.143.604.945.574.132.671.852.050.553]
445+[%f s=%.y e=-107 a=5.865.903.143.604.945.574.132.671.852.050.553]
449−### `++lth:fl`
450+### `^lth:fl`
@@ -465,29 +466,29 @@ An `flag`.
465#### Source
466#### Source
469− |= [a=[e=@s a=@u] b=[e=@s a=@u]] ^- ?
470+ |= [a=[e=@s a=@u] b=[e=@s a=@u]] ^- ?
470− ?: =(e.a e.b) (^lth a.a a.b)
471+ ?: =(e.a e.b) (^lth a.a a.b)
471− =+ c=(cmp:si (ibl a) (ibl b))
472+ =+ c=(cmp:si (ibl a) (ibl b))
472− ?: =(c -1) & ?: =(c --1) |
473+ ?: =(c -1) & ?: =(c --1) |
473− ?: =((cmp:si e.a e.b) -1)
474+ ?: =((cmp:si e.a e.b) -1)
474− (^lth (rsh 0 (abs:si (dif:si e.a e.b)) a.a) a.b)
475+ (^lth (rsh [0 (abs:si (dif:si e.a e.b))] a.a) a.b)
475− (^lth (lsh 0 (abs:si (dif:si e.a e.b)) a.a) a.b)
476+ (^lth (lsh [0 (abs:si (dif:si e.a e.b))] a.a) a.b)
478#### Examples
479#### Examples
481− > (^lth:fl [-4 684] [--0 35])
482+> (^lth:fl [-4 684] [--0 35])
484− > (^lth:fl [-4 684] [--0 90])
485+> (^lth:fl [-4 684] [--0 90])
490−### `++equ:fl`
491+### `^equ:fl`
@@ -506,22 +507,22 @@ A `flag`.
506#### Source
507#### Source
510− |= [a=[e=@s a=@u] b=[e=@s a=@u]] ^- ?
511+ |= [a=[e=@s a=@u] b=[e=@s a=@u]] ^- ?
511− ?. =((ibl a) (ibl b)) |
512+ ?. =((ibl a) (ibl b)) |
512− ?: =((cmp:si e.a e.b) -1)
513+ ?: =((cmp:si e.a e.b) -1)
513− =((lsh 0 (abs:si (dif:si e.a e.b)) a.b) a.a)
514+ =((lsh [0 (abs:si (dif:si e.a e.b))] a.b) a.a)
514− =((lsh 0 (abs:si (dif:si e.a e.b)) a.a) a.b)
515+ =((lsh [0 (abs:si (dif:si e.a e.b))] a.a) a.b)
517#### Examples
518#### Examples
520− > (^equ:fl [-4 480] [-0 50])
521+> (^equ:fl [-4 480] [-0 50])
523− > (^equ:fl [-4 480] [-0 30])
524+> (^equ:fl [-4 480] [-0 30])
@@ -544,16 +545,16 @@ A signed integer.
544#### Source
545#### Source
548− |= [a=[e=@s a=@u]] ^- @s
549+ |= [a=[e=@s a=@u]] ^- @s
549− (sum:si (sun:si (dec (met 0 a.a))) e.a)
550+ (sum:si (sun:si (dec (met 0 a.a))) e.a)
552#### Examples
553#### Examples
555− > (ibl:fl [-18 342.602.577])
556+> (ibl:fl [-18 342.602.577])
@@ -577,20 +578,20 @@ A cell of a signed integer and an unsigned integer.
577#### Source
578#### Source
581− |= [a=[e=@s a=@u]]
582+ |= [a=[e=@s a=@u]]
582− |- ?: =((end 0 1 a.a) 1) a
583+ |- ?: =((end 0 a.a) 1) a
583− $(a.a (rsh 0 1 a.a), e.a (sum:si e.a --1))
584+ $(a.a (rsh 0 a.a), e.a (sum:si e.a --1))
586#### Examples
587#### Examples
589− > (uni:fl [-8 342.602.578])
590+> (uni:fl [-8 342.602.578])
590− [e=-7 a=171.301.289]
591+[e=-7 a=171.301.289]
592− > (uni:fl [-8 342.602.577])
593+> (uni:fl [-8 342.602.577])
593− [e=-8 a=342.602.577]
594+[e=-8 a=342.602.577]
@@ -612,29 +613,29 @@ A cell of a signed integer and an unsigned integer.
612#### Sources
613#### Sources
616− |= [a=[e=@s a=@u]]
617+ |= [a=[e=@s a=@u]]
617− =+ ma=(met 0 a.a)
618+ =+ ma=(met 0 a.a)
618− ?: (gte ma prc) a
619+ ?: (gte ma prc) a
619− =+ ?: =(den %i) (^sub prc ma)
620+ =+ ?: =(den %i) (^sub prc ma)
621− =+ w=(dif:si e.a emn)
622+ =+ w=(dif:si e.a emn)
622− ?: (syn:si w) (abs:si w) 0
623+ ?: (syn:si w) (abs:si w) 0
623− (min q (^sub prc ma))
624+ (min q (^sub prc ma))
624− a(e (dif:si e.a (sun:si -)), a (lsh 0 - a.a))
625+ a(e (dif:si e.a (sun:si -)), a (lsh [0 -] a.a))
627#### Examples
628#### Examples
630− > (xpd:fl [--3 12])
631+> (xpd:fl [--3 12])
631− [e=-106 a=7.788.445.287.802.241.442.795.744.493.830.144]
632+[e=-106 a=7.788.445.287.802.241.442.795.744.493.830.144]
633− > (xpd:fl [-8 342.602.577])
634+> (xpd:fl [-8 342.602.577])
634− [e=-92 a=6.626.897.619.228.945.634.459.505.846.648.832]
635+[e=-92 a=6.626.897.619.228.945.634.459.505.846.648.832]
636− > (xpd:fl [-92 6.626.897.619.228.945.634.459.505.846.648.832])
637+> (xpd:fl [-92 6.626.897.619.228.945.634.459.505.846.648.832])
637− [e=-92 a=6.626.897.619.228.945.634.459.505.846.648.832]
638+[e=-92 a=6.626.897.619.228.945.634.459.505.846.648.832]
@@ -649,16 +650,16 @@ ULP(a) = 2^(e.a)
650Possible rounding operations:
651Possible rounding operations:
652−- Floor (`$fl`)
653+- Floor (`%fl`)
653−- Ceiling (`$ce`)
654+- Ceiling (`%ce`)
654−- Smaller (`$sm`)
655+- Smaller (`%sm`)
655−- Larger (`$lg`)
656+- Larger (`%lg`)
656−- Nearest (`$ne`) -- Rounds ties away from 0 if the number is even, rounds
657+- Nearest (`%ne`) -- Rounds ties away from 0 if the number is even, rounds
657 toward 0 if the number is odd.
658 toward 0 if the number is odd.
659#### Accepts
660#### Accepts
661−`t` is one of the following: `$fl`, `$ce`, `$sm`, `$lg`, `$ne`, `$na`, or `$nt`.
662+`t` is one of the following: `%fl`, `%ce`, `%sm`, `%lg`, `%ne`, `%na`, or `%nt`.
663`a` is a cell of a signed integer and an unsigned integer.
664`a` is a cell of a signed integer and an unsigned integer.
@@ -671,82 +672,75 @@ An `fn`.
671#### Source
672#### Source
675− :: central rounding mechanism
676− :: can perform: floor, ceiling, smaller, larger,
677− :: nearest (round ties to: even, away from 0, toward 0)
678− :: s is sticky bit: represents a value less than ulp(a) = 2^(e.a)
682− |= [t=$?($fl $ce $sm $lg $ne $na $nt) a=[e=@s a=@u] s=?] ^- fn
677+ |= [t=$?(%fl %ce %sm %lg %ne %na %nt) a=[e=@s a=@u] s=?] ^- fn
683− ?< =(a.a 0)
678+ ?< =(a.a 0)
685− ?. =(den %f) - :: flush denormals
680+ ?. =(den %f) - :: flush denormals
686− ?. ?=([$f *] -) -
681+ ?. ?=([%f *] -) -
687− ?: =((met 0 ->+>) prc) - [%f & zer]
682+ ?: =((met 0 ->+>) prc) - [%f & zer]
689− =+ m=(met 0 a.a)
684+ =+ m=(met 0 a.a)
690− ?> |(s (gth m prc)) :: require precision
685+ ?> |(s (gth m prc)) :: require precision
691− =+ ^= q %+ max
686+ =+ ^= q %+ max
692− ?: (gth m prc) (^sub m prc) 0 :: reduce precision
687+ ?: (gth m prc) (^sub m prc) 0 :: reduce precision
693− %- abs:si ?: =(den %i) --0 :: enforce min. exp
688+ %- abs:si ?: =(den %i) --0 :: enforce min. exp
694− ?: =((cmp:si e.a emn) -1) (dif:si emn e.a) --0
689+ ?: =((cmp:si e.a emn) -1) (dif:si emn e.a) --0
695− =^ b a :- (end 0 q a.a)
690+ =^ b a :- (end [0 q] a.a)
696− a(e (sum:si e.a (sun:si q)), a (rsh 0 q a.a))
691+ a(e (sum:si e.a (sun:si q)), a (rsh [0 q] a.a))
699− ?< =(den %i)
694+ ?< =(den %i)
701− $fl [%f & zer]
696+ %fl [%f & zer]
702− $sm [%f & zer]
697+ %sm [%f & zer]
703− $ce [%f & spd]
698+ %ce [%f & spd]
704− $lg [%f & spd]
699+ %lg [%f & spd]
705− $ne ?: s [%f & ?:((lte b (bex (dec q))) zer spd)]
700+ %ne ?: s [%f & ?:((lte b (bex (dec q))) zer spd)]
706− [%f & ?:((^lth b (bex (dec q))) zer spd)]
701+ [%f & ?:((^lth b (bex (dec q))) zer spd)]
707− $nt ?: s [%f & ?:((lte b (bex (dec q))) zer spd)]
702+ %nt ?: s [%f & ?:((lte b (bex (dec q))) zer spd)]
708− [%f & ?:((^lth b (bex (dec q))) zer spd)]
703+ [%f & ?:((^lth b (bex (dec q))) zer spd)]
709− $na [%f & ?:((^lth b (bex (dec q))) zer spd)]
704+ %na [%f & ?:((^lth b (bex (dec q))) zer spd)]
712− =. a (xpd a)
707+ =. a (xpd a)
717− $lg a(a +(a.a))
712+ %lg a(a +(a.a))
718− $sm ?. &(=(b 0) s) a
713+ %sm ?. &(=(b 0) s) a
719− ?: &(=(e.a emn) !=(den %i)) a(a (dec a.a))
714+ ?: &(=(e.a emn) !=(den %i)) a(a (dec a.a))
720− =+ y=(dec (^mul a.a 2))
715+ =+ y=(dec (^mul a.a 2))
721− ?. (lte (met 0 y) prc) a(a (dec a.a))
716+ ?. (lte (met 0 y) prc) a(a (dec a.a))
722− [(dif:si e.a --1) y]
717+ [(dif:si e.a --1) y]
723− $ce ?: &(=(b 0) s) a a(a +(a.a))
718+ %ce ?: &(=(b 0) s) a a(a +(a.a))
724− $ne ?~ b a
719+ %ne ?~ b a
725− =+ y=(bex (dec q))
720+ =+ y=(bex (dec q))
726− ?: &(=(b y) s) :: round halfs to even
721+ ?: &(=(b y) s) :: round halfs to even
727− ?~ (dis a.a 1) a a(a +(a.a))
722+ ?~ (dis a.a 1) a a(a +(a.a))
728− ?: (^lth b y) a a(a +(a.a))
723+ ?: (^lth b y) a a(a +(a.a))
729− $na ?~ b a
724+ %na ?~ b a
730− =+ y=(bex (dec q))
725+ =+ y=(bex (dec q))
731− ?: (^lth b y) a a(a +(a.a))
726+ ?: (^lth b y) a a(a +(a.a))
732− $nt ?~ b a
727+ %nt ?~ b a
733− =+ y=(bex (dec q))
728+ =+ y=(bex (dec q))
734− ?: =(b y) ?: s a a(a +(a.a))
729+ ?: =(b y) ?: s a a(a +(a.a))
735− ?: (^lth b y) a a(a +(a.a))
730+ ?: (^lth b y) a a(a +(a.a))
738− =. a ?. =((met 0 a.a) +(prc)) a
733+ =. a ?. =((met 0 a.a) +(prc)) a
739− a(a (rsh 0 1 a.a), e (sum:si e.a --1))
734+ a(a (rsh 0 a.a), e (sum:si e.a --1))
740− ?~ a.a [%f & zer]
735+ ?~ a.a [%f & zer]
742− ?: =(den %i) [%f & a]
737+ ?: =(den %i) [%f & a]
743− ?: =((cmp:si emx e.a) -1) [%i &] [%f & a] :: enforce max. exp
738+ ?: =((cmp:si emx e.a) -1) [%i &] [%f & a] :: enforce max. exp
749−### `++drg:fl`
743+### `^drg:fl`
751Get printable decimal
745Get printable decimal
@@ -764,74 +758,74 @@ A cell of a signed integer and an unsigned integer.
764#### Source
758#### Source
767− ++ drg
761+++ drg :: dragon4; get
768− ~/ %drg
762+ ~/ %drg :: printable decimal;
769− |= [a=[e=@s a=@u]] ^- [@s @u]
763+ |= [a=[e=@s a=@u]] ^- [@s @u] :: guaranteed accurate
770− ?< =(a.a 0)
764+ ?< =(a.a 0) :: for rounded floats
771− =. a (xpd a)
765+ =. a (xpd a)
772− =+ r=(lsh 0 ?:((syn:si e.a) (abs:si e.a) 0) a.a)
766+ =+ r=(lsh [0 ?:((syn:si e.a) (abs:si e.a) 0)] a.a)
773− =+ s=(lsh 0 ?.((syn:si e.a) (abs:si e.a) 0) 1)
767+ =+ s=(lsh [0 ?.((syn:si e.a) (abs:si e.a) 0)] 1)
774− =+ mn=(lsh 0 ?:((syn:si e.a) (abs:si e.a) 0) 1)
768+ =+ mn=(lsh [0 ?:((syn:si e.a) (abs:si e.a) 0)] 1)
775− =+ mp=mn
769+ =+ mp=mn
777− ?& =(a.a (bex (dec prc))) :: if next smallest
771+ ?& =(a.a (bex (dec prc))) :: if next smallest
778− |(!=(e.a emn) =(den %i)) :: float is half ULP,
772+ |(!=(e.a emn) =(den %i)) :: float is half ULP,
779− == :: tighten lower bound
773+ == :: tighten lower bound
782− mp (lsh 0 1 mp)
776+ mp (lsh 0 mp)
783− r (lsh 0 1 r)
777+ r (lsh 0 r)
784− s (lsh 0 1 s)
778+ s (lsh 0 s)
786− =+ [k=--0 q=(^div (^add s 9) 10)]
780+ =+ [k=--0 q=(^div (^add s 9) 10)]
787− |- ?: (^lth r q)
781+ |- ?: (^lth r q)
789− k (dif:si k --1)
783+ k (dif:si k --1)
790− r (^mul r 10)
784+ r (^mul r 10)
791− mn (^mul mn 10)
785+ mn (^mul mn 10)
792− mp (^mul mp 10)
786+ mp (^mul mp 10)
794− |- ?: (gte (^add (^mul r 2) mp) (^mul s 2))
788+ |- ?: (gte (^add (^mul r 2) mp) (^mul s 2))
795− $(s (^mul s 10), k (sum:si k --1))
789+ $(s (^mul s 10), k (sum:si k --1))
796− =+ [u=0 o=0]
790+ =+ [u=0 o=0]
797− |- :: r/s+o = a*10^-k
791+ |- :: r/s+o = a*10^-k
798− =+ v=(dvr (^mul r 10) s)
792+ =+ v=(dvr (^mul r 10) s)
800− k (dif:si k --1)
794+ k (dif:si k --1)
803− mn (^mul mn 10)
797+ mn (^mul mn 10)
804− mp (^mul mp 10)
798+ mp (^mul mp 10)
806− =+ l=(^lth (^mul r 2) mn) :: in lower bound
800+ =+ l=(^lth (^mul r 2) mn) :: in lower bound
807− =+ ^= h :: in upper bound
801+ =+ ^= h :: in upper bound
808− ?| (^lth (^mul s 2) mp)
802+ ?| (^lth (^mul s 2) mp)
809− (gth (^mul r 2) (^sub (^mul s 2) mp))
803+ (gth (^mul r 2) (^sub (^mul s 2) mp))
811− ?: &(!l !h)
805+ ?: &(!l !h)
812− $(o (^add (^mul o 10) u))
806+ $(o (^add (^mul o 10) u))
813− =+ q=&(h |(!l (gth (^mul r 2) s)))
807+ =+ q=&(h |(!l (gth (^mul r 2) s)))
814− =. o (^add (^mul o 10) ?:(q +(u) u))
808+ =. o (^add (^mul o 10) ?:(q +(u) u))
818−#### Examples
812+#### Examples
821− > (sun:fl 218.116)
815+> (sun:fl 218.116)
822− [%f s=%.y e=-95 a=8.640.464.947.480.640.129.276.716.135.743.488]
816+[%f s=%.y e=-95 a=8.640.464.947.480.640.129.276.716.135.743.488]
823− > (^drg:fl [e=-95 a=8.640.464.947.480.640.129.276.716.135.743.488])
817+> (^drg:fl [e=-95 a=8.640.464.947.480.640.129.276.716.135.743.488])
824− [--0 218.116]
818+[--0 218.116]
826− > (sun:fl 102.057.673.128.349)
820+> (sun:fl 102.057.673.128.349)
827− [%f s=%.y e=-66 a=7.530.527.107.827.833.883.675.587.233.447.936]
821+[%f s=%.y e=-66 a=7.530.527.107.827.833.883.675.587.233.447.936]
828− > (^drg:fl [e=-66 a=7.530.527.107.827.833.883.675.587.233.447.936])
822+> (^drg:fl [e=-66 a=7.530.527.107.827.833.883.675.587.233.447.936])
829− [--0 102.057.673.128.349]
823+[--0 102.057.673.128.349]
834−### `++toj:fl`
828+### `^toj:fl`
836Round to integer
830Round to integer
@@ -848,27 +842,27 @@ An `fn`.
848#### Source
842#### Source
852− |= [a=[e=@s a=@u]] ^- fn
846+ |= [a=[e=@s a=@u]] ^- fn
853− ?. =((cmp:si e.a --0) -1) [%f & a]
847+ ?. =((cmp:si e.a --0) -1) [%f & a]
854− =+ x=(abs:si e.a)
848+ =+ x=(abs:si e.a)
855− =+ y=(rsh 0 x a.a)
849+ =+ y=(rsh [0 x] a.a)
856− ?: |(=(r %d) =(r %z)) [%f & --0 y]
850+ ?: |(=(r %d) =(r %z)) [%f & --0 y]
857− =+ z=(end 0 x a.a)
851+ =+ z=(end [0 x] a.a)
858− ?: |(=(r %u) =(r %a)) [%f & --0 ?~(z y +(y))]
852+ ?: |(=(r %u) =(r %a)) [%f & --0 ?~(z y +(y))]
859− =+ i=(bex (dec x))
853+ =+ i=(bex (dec x))
860− ?: &(=(z i) =((dis y 1) 0)) [%f & --0 y]
854+ ?: &(=(z i) =((dis y 1) 0)) [%f & --0 y]
861− ?: (^lth z i) [%f & --0 y] [%f & --0 +(y)]
855+ ?: (^lth z i) [%f & --0 y] [%f & --0 +(y)]
864#### Examples
858#### Examples
867− > (^toj:fl [-11 7.530.107.827.833.587])
861+> (^toj:fl [-11 7.530.107.827.833.587])
868− [%f s=%.y e=--0 a=3.676.810.462.809]
862+[%f s=%.y e=--0 a=3.676.810.462.809]
870− > (^toj:fl [-11 7.530.107.827.833.589])
864+> (^toj:fl [-11 7.530.107.827.833.589])
871− [%f s=%.y e=--0 a=3.676.810.462.809]
865+[%f s=%.y e=--0 a=3.676.810.462.809]
@@ -891,26 +885,26 @@ A cell of a signed integer and an unsigned integer.
891#### Source
885#### Source
895− |= [a=fn] ^- [$f s=? e=@s a=@u]
889+ |= [a=fn] ^- [%f s=? e=@s a=@u]
896− ?: ?=([$f *] a) a
890+ ?: ?=([%f *] a) a
897− ~_ leaf+"need-float"
891+ ~_ leaf+"need-float"
901#### Examples
895#### Examples
904− > (ned:fl [%f s=%.y e=-11 a=7.530.107.827.833.587])
898+> (ned:fl [%f s=%.y e=-11 a=7.530.107.827.833.587])
905− [%f s=%.y e=-11 a=7.530.107.827.833.587]
899+[%f s=%.y e=-11 a=7.530.107.827.833.587]
907− > (ned:fl [%n ~])
901+> (ned:fl [%n ~])
908− ! need-float
902+! need-float
911− > (ned:fl [%i |])
905+> (ned:fl [%i |])
912− ! need-float
906+! need-float
@@ -935,23 +929,23 @@ An `fn`.
935#### Source
929#### Source
939− |= [a=fn b=@s]
933+ |= [a=fn b=@s]
940− ?: |(?=([$n *] a) ?=([$i *] a)) a
934+ ?: |(?=([%n *] a) ?=([%i *] a)) a
941− a(e (sum:si e.a b))
935+ a(e (sum:si e.a b))
944#### Examples
938#### Examples
947− > (shf:fl [[%f & -2 7] --2])
941+> (shf:fl [[%f & -2 7] --2])
948− [%f s=%.y e=--0 a=7]
942+[%f s=%.y e=--0 a=7]
950− > (shf:fl [[%f & -2 7] -2])
944+> (shf:fl [[%f & -2 7] -2])
951− [%f s=%.y e=-4 a=7]
945+[%f s=%.y e=-4 a=7]
953− > (shf:fl [%f & -11 7.530.107.827.833.587] --5)
947+> (shf:fl [%f & -11 7.530.107.827.833.587] --5)
954− [%f s=%.y e=-6 a=7.530.107.827.833.587]
948+[%f s=%.y e=-6 a=7.530.107.827.833.587]
@@ -973,22 +967,22 @@ An `fn`.
973#### Source
967#### Source
977− |= [a=fn] ^- fn
971+ |= [a=fn] ^- fn
978− ?-(-.a $f a(s !s.a), $i a(s !s.a), $n a)
972+ ?-(-.a %f a(s !s.a), %i a(s !s.a), %n a)
981#### Examples
975#### Examples
984− > (fli:fl [%f %.y -2 7])
978+> (fli:fl [%f %.y -2 7])
985− [%f s=%.n e=-2 a=7]
979+[%f s=%.n e=-2 a=7]
987− > (fli:fl [%f %.n --2 30.617])
981+> (fli:fl [%f %.n --2 30.617])
988− [%f s=%.y e=--2 a=30.617]
982+[%f s=%.y e=--2 a=30.617]
990− > (fli:fl [%f | --2 30.617])
984+> (fli:fl [%f | --2 30.617])
991− [%f s=%.y e=--2 a=30.617]
985+[%f s=%.y e=--2 a=30.617]
@@ -1002,21 +996,21 @@ Switches the rounding mode of `r:fl`.
1002#### Source
996#### Source
1005− ++ swr ?+(r r $d %u, $u %d)
999+++ swr ?+(r r %d %u, %u %d)
1008#### Examples
1002#### Examples
1013− > swr:fl
1007+> swr:fl
1016− > =new-fl fl :: new fl core with changed state
1010+> =new-fl fl :: new fl core with changed state
1017− > =new-fl new-fl(r %u)
1011+> =new-fl new-fl(r %u)
1018− > swr:new-fl
1012+> swr:new-fl
@@ -1031,23 +1025,23 @@ Otherwise, a crash is produced.
1031#### Source
1025#### Source
1034− ++ prc ?>((gth p 1) p)
1028+++ prc ?>((gth p 1) p)
1037#### Examples
1031#### Examples
1040− > prc:fl
1034+> prc:fl
1043− > =new-fl fl
1037+> =new-fl fl
1044− > =new-fl new-fl(p 1)
1038+> =new-fl new-fl(p 1)
1045− > prc:new-fl
1039+> prc:new-fl
1048− > =new-fl new-fl(p 2)
1042+> =new-fl new-fl(p 2)
1049− > prc:new-fl
1043+> prc:new-fl
@@ -1061,26 +1055,26 @@ Produces `d:fl`. Denormalizes if `d:fl` is `%d`. Flushes denormals to zero if
1062- Denormalizes if `d:fl` is `%d`.
1056- Denormalizes if `d:fl` is `%d`.
1063- Flushes denormals to zero if `d:fl` is `%f`.
1057- Flushes denormals to zero if `d:fl` is `%f`.
1064−- Infinite exponent range if `$d` is `$i`.
1058+- Infinite exponent range if `%d` is `%i`.
1066The default value of `d` is `%d`.
1060The default value of `d` is `%d`.
1068#### Source
1062#### Source
1071− ++ den d
1065+++ den d
1074#### Examples
1068#### Examples
1077− > den:fl
1071+> den:fl
1080− > =new-fl fl
1074+> =new-fl fl
1081− > =new-fl new-fl(d %f)
1075+> =new-fl new-fl(d %f)
1082− > den:new-fl
1076+> den:new-fl
@@ -1094,14 +1088,14 @@ Produces `v:fl`, the minimum exponent. The default minimum exponent is -16.494.
1094#### Source
1088#### Source
1097− ++ emn v
1091+++ emn v
1100#### Examples
1094#### Examples
1103− > emn:fl
1097+> emn:fl
1104− -16.494
1098+-16.494
@@ -1115,17 +1109,17 @@ Returns the maximum exponent of `fl`. The default maximum exponent is --16.271.
1115#### Source
1109#### Source
1118− ++ emx (sum:si emn (sun:si w))
1112+++ emx (sum:si emn (sun:si w))
1121#### Examples
1115#### Examples
1124− > emx:fl
1118+> emx:fl
1125− --16.271
1119+--16.271
1127− > `@u`emx:fl
1121+> `@u`emx:fl
@@ -1139,14 +1133,14 @@ Produces the smallest possible denormalized float.
1139#### Source
1133#### Source
1142− ++ spd [e=emn a=1]
1136+++ spd [e=emn a=1]
1145#### Examples
1139#### Examples
1148− > spd:fl
1142+> spd:fl
1149− [e=-16.494 a=1]
1143+[e=-16.494 a=1]
@@ -1160,14 +1154,14 @@ Produces the smallest representable normal float.
1160#### Source
1154#### Source
1163− ++ spn [e=emn a=(bex (dec prc))]
1157+++ spn [e=emn a=(bex (dec prc))]
1166#### Examples
1160#### Examples
1169− > spn:fl
1163+> spn:fl
1170− [e=-16.494 a=5.192.296.858.534.827.628.530.496.329.220.096]
1164+[e=-16.494 a=5.192.296.858.534.827.628.530.496.329.220.096]
@@ -1181,14 +1175,14 @@ Produces the largest representable normal float.
1181#### Source
1175#### Source
1184− ++ lfn [e=emx a=(fil 0 prc 1)]
1178+++ lfn [e=emx a=(fil 0 prc 1)]
1187#### Examples
1181#### Examples
1190− > lfn:fl
1184+> lfn:fl
1191− [e=--16.271 a=10.384.593.717.069.655.257.060.992.658.440.191]
1185+[e=--16.271 a=10.384.593.717.069.655.257.060.992.658.440.191]
@@ -1202,14 +1196,14 @@ Produces the sum of `emx:fl` plus `prc:fl`.
1202#### Source
1196#### Source
1205− ++ lfe (sum:si emx (sun:si prc)) :: 2^lfe is > than all
1199+++ lfe (sum:si emx (sun:si prc))
1208#### Examples
1202#### Examples
1211− > lfe:fl
1205+> lfe:fl
1212− --16.384
1206+--16.384
@@ -1223,16 +1217,14 @@ Produces zero represented as a float.
1223#### Source
1217#### Source
1226− ++ zer [e=--0 a=0]
1220+++ zer [e=--0 a=0]
1231#### Examples
1223#### Examples
1234− > zer:fl
1226+> zer:fl
1235− [e=--0 a=0]
1227+[e=--0 a=0]
@@ -1254,29 +1246,29 @@ An `fn`.
1254#### Source
1246#### Source
1258− |= [a=fn] ^- fn
1250+ |= [a=fn] ^- fn
1259− ?. ?=([$f *] a) a
1251+ ?. ?=([%f *] a) a
1260− ?~ a.a [%f s.a zer]
1252+ ?~ a.a [%f s.a zer]
1261− ?: s.a (^rou +>.a)
1253+ ?: s.a (^rou +>.a)
1262− =.(r swr (fli (^rou +>.a)))
1254+ =.(r swr (fli (^rou +>.a)))
1265#### Examples
1257#### Examples
1268− > =a 10.161.487.211.429.486.882.397.572.894.294.017.777
1260+> =a 10.161.487.211.429.486.882.397.572.894.294.017.777
1269− > (rou:fl [%f & --12 a])
1261+> (rou:fl [%f & --12 a])
1270− [%f s=%.y e=--22 a=9.923.327.354.911.608.283.591.379.779.584.002]
1262+[%f s=%.y e=--22 a=9.923.327.354.911.608.283.591.379.779.584.002]
1272− > (rou:fl [%f & --12 (add a 1)])
1264+> (rou:fl [%f & --12 (add a 1)])
1273− [%f s=%.y e=--22 a=9.923.327.354.911.608.283.591.379.779.584.002]
1265+[%f s=%.y e=--22 a=9.923.327.354.911.608.283.591.379.779.584.002]
1275− > (rou:fl [%f & --12 (add a 300)])
1267+> (rou:fl [%f & --12 (add a 300)])
1276− [%f s=%.y e=--22 a=9.923.327.354.911.608.283.591.379.779.584.002]
1268+[%f s=%.y e=--22 a=9.923.327.354.911.608.283.591.379.779.584.002]
1278− > (rou:fl [%f & --12 (add a 1.000)])
1270+> (rou:fl [%f & --12 (add a 1.000)])
1279− [%f s=%.y e=--22 a=9.923.327.354.911.608.283.591.379.779.584.003]
1271+[%f s=%.y e=--22 a=9.923.327.354.911.608.283.591.379.779.584.003]
@@ -1298,19 +1290,19 @@ An `fn`.
1298#### Source
1290#### Source
1302− |= [a=fn] ^- ?
1294+ |= [a=fn] ^- ?
1303− ?-(-.a $f s.a, $i s.a, $n &)
1295+ ?-(-.a %f s.a, %i s.a, %n &)
1306#### Examples
1298#### Examples
1309− > (syn:fl (sun:fl 106))
1301+> (syn:fl (sun:fl 106))
1312− > (syn:fl [%f | --0 106])
1304+> (syn:fl [%f | --0 106])
@@ -1332,20 +1324,20 @@ An `fn`.
1332#### Sources
1324#### Sources
1336− |= [a=fn] ^- fn
1328+ |= [a=fn] ^- fn
1337− ?: ?=([$f *] a) [%f & e.a a.a]
1329+ ?: ?=([%f *] a) [%f & e.a a.a]
1338− ?: ?=([$i *] a) [%i &] [%n ~]
1330+ ?: ?=([%i *] a) [%i &] [%n ~]
1341#### Examples
1333#### Examples
1344− > (abs:fl [%f | --0 106])
1336+> (abs:fl [%f | --0 106])
1345− [%f s=%.y e=--0 a=106]
1337+[%f s=%.y e=--0 a=106]
1347− > (abs:fl [%f & --0 106])
1339+> (abs:fl [%f & --0 106])
1348− [%f s=%.y e=--0 a=106]
1340+[%f s=%.y e=--0 a=106]
@@ -1369,32 +1361,32 @@ An `fn`.
1369#### Source
1361#### Source
1373− |= [a=fn b=fn] ^- fn
1365+ |= [a=fn b=fn] ^- fn
1374− ?: |(?=([$n *] a) ?=([$n *] b)) [%n ~]
1366+ ?: |(?=([%n *] a) ?=([%n *] b)) [%n ~]
1375− ?: |(?=([$i *] a) ?=([$i *] b))
1367+ ?: |(?=([%i *] a) ?=([%i *] b))
1376− ?: &(?=([$i *] a) ?=([$i *] b))
1368+ ?: &(?=([%i *] a) ?=([%i *] b))
1377− ?: =(a b) a [%n ~]
1369+ ?: =(a b) a [%n ~]
1378− ?: ?=([$i *] a) a b
1370+ ?: ?=([%i *] a) a b
1379− ?: |(=(a.a 0) =(a.b 0))
1371+ ?: |(=(a.a 0) =(a.b 0))
1380− ?. &(=(a.a 0) =(a.b 0)) %- rou ?~(a.a b a)
1372+ ?. &(=(a.a 0) =(a.b 0)) %- rou ?~(a.a b a)
1381− [%f ?:(=(r %d) &(s.a s.b) |(s.a s.b)) zer]
1373+ [%f ?:(=(r %d) &(s.a s.b) |(s.a s.b)) zer]
1382− %- |= [a=fn]
1374+ %- |= [a=fn]
1383− ?. ?=([$f *] a) a
1375+ ?. ?=([%f *] a) a
1384− ?. =(a.a 0) a
1376+ ?. =(a.a 0) a
1385− [%f !=(r %d) zer]
1377+ [%f !=(r %d) zer]
1386− ?: =(s.a s.b)
1378+ ?: =(s.a s.b)
1387− ?: s.a (^add +>.a +>.b |)
1379+ ?: s.a (^add +>.a +>.b |)
1388− =.(r swr (fli (^add +>.a +>.b |)))
1380+ =.(r swr (fli (^add +>.a +>.b |)))
1389− ?: s.a (^sub +>.a +>.b |)
1381+ ?: s.a (^sub +>.a +>.b |)
1390− (^sub +>.b +>.a |)
1382+ (^sub +>.b +>.a |)
1393#### Examples
1385#### Examples
1396− > (add:fl [%f & --0 106] [%f | --3 55])
1388+> (add:fl [%f & --0 106] [%f | --3 55])
1397− [%f s=%.n e=-104 a=6.774.324.807.619.657.921.598.381.929.529.344]
1389+[%f s=%.n e=-104 a=6.774.324.807.619.657.921.598.381.929.529.344]
@@ -1418,33 +1410,32 @@ An `fn`.
1418#### Source
1410#### Source
1422− |= [a=fn b=fn] ^- fn
1414+ |= [a=fn b=fn] ^- fn
1423− ?: |(?=([$n *] a) ?=([$n *] b)) [%n ~]
1415+ ?: |(?=([%n *] a) ?=([%n *] b)) [%n ~]
1424− ?: |(?=([$i *] a) ?=([$i *] b))
1416+ ?: |(?=([%i *] a) ?=([%i *] b))
1425− ?: &(?=([$i *] a) ?=([$i *] b))
1417+ ?: &(?=([%i *] a) ?=([%i *] b))
1426− ?: =(a b) a [%n ~]
1418+ ?: =(a b) a [%n ~]
1427− ?: ?=([$i *] a) a b
1419+ ?: ?=([%i *] a) a b
1428− ?: |(=(a.a 0) =(a.b 0))
1420+ ?: |(=(a.a 0) =(a.b 0))
1429− ?. &(=(a.a 0) =(a.b 0)) ?~(a.a b a)
1421+ ?. &(=(a.a 0) =(a.b 0)) ?~(a.a b a)
1430− [%f ?:(=(r %d) &(s.a s.b) |(s.a s.b)) zer]
1422+ [%f ?:(=(r %d) &(s.a s.b) |(s.a s.b)) zer]
1431− %- |= [a=fn]
1423+ %- |= [a=fn]
1432− ?. ?=([$f *] a) a
1424+ ?. ?=([%f *] a) a
1433− ?. =(a.a 0) a
1425+ ?. =(a.a 0) a
1434− [%f !=(r %d) zer]
1426+ [%f !=(r %d) zer]
1435− ?: =(s.a s.b)
1427+ ?: =(s.a s.b)
1436− ?: s.a (^add +>.a +>.b &)
1428+ ?: s.a (^add +>.a +>.b &)
1437− (fli (^add +>.a +>.b &))
1429+ (fli (^add +>.a +>.b &))
1438− ?: s.a (^sub +>.a +>.b &)
1430+ ?: s.a (^sub +>.a +>.b &)
1439− (^sub +>.b +>.a &)
1431+ (^sub +>.b +>.a &)
1443#### Examples
1434#### Examples
1446− > (ead:fl [%f & --0 106] [%f | --3 55])
1437+> (ead:fl [%f & --0 106] [%f | --3 55])
1447− [%f s=%.n e=--0 a=334]
1438+[%f s=%.n e=--0 a=334]
@@ -1468,15 +1459,15 @@ An `fn`.
1468#### Source
1459#### Source
1472− |= [a=fn b=fn] ^- fn (add a (fli b))
1463+ |= [a=fn b=fn] ^- fn (add a (fli b))
1475#### Examples
1466#### Examples
1478− > (sub:fl [%f & --13 2.718] [%f & --23 11])
1469+> (sub:fl [%f & --13 2.718] [%f & --23 11])
1479− [%f s=%.n e=-86 a=5.416.671.014.775.224.232.595.412.796.571.648]
1470+[%f s=%.n e=-86 a=5.416.671.014.775.224.232.595.412.796.571.648]
@@ -1500,18 +1491,18 @@ An `fn`.
1500#### Source
1491#### Source
1504− |= [a=fn b=fn] ^- fn
1495+ |= [a=fn b=fn] ^- fn
1505− ?: |(?=([$n *] a) ?=([$n *] b)) [%n ~]
1496+ ?: |(?=([%n *] a) ?=([%n *] b)) [%n ~]
1506− ?: ?=([$i *] a)
1497+ ?: ?=([%i *] a)
1507− ?: ?=([$i *] b)
1498+ ?: ?=([%i *] b)
1508− [%i =(s.a s.b)]
1499+ [%i =(s.a s.b)]
1509− ?: =(a.b 0) [%n ~] [%i =(s.a s.b)]
1500+ ?: =(a.b 0) [%n ~] [%i =(s.a s.b)]
1510− ?: ?=([$i *] b)
1501+ ?: ?=([%i *] b)
1511− ?: =(a.a 0) [%n ~] [%i =(s.a s.b)]
1502+ ?: =(a.a 0) [%n ~] [%i =(s.a s.b)]
1512− ?: |(=(a.a 0) =(a.b 0)) [%f =(s.a s.b) zer]
1503+ ?: |(=(a.a 0) =(a.b 0)) [%f =(s.a s.b) zer]
1513− ?: =(s.a s.b) (^mul +>.a +>.b)
1504+ ?: =(s.a s.b) (^mul +>.a +>.b)
1514− =.(r swr (fli (^mul +>.a +>.b)))
1505+ =.(r swr (fli (^mul +>.a +>.b)))
@@ -1534,18 +1525,18 @@ An `fn`.
1535#### Examples
1526#### Examples
1539− |= [a=fn b=fn] ^- fn
1530+ |= [a=fn b=fn] ^- fn
1540− ?: |(?=([$n *] a) ?=([$n *] b)) [%n ~]
1531+ ?: |(?=([%n *] a) ?=([%n *] b)) [%n ~]
1541− ?: ?=([$i *] a)
1532+ ?: ?=([%i *] a)
1542− ?: ?=([$i *] b)
1533+ ?: ?=([%i *] b)
1543− [%i =(s.a s.b)]
1534+ [%i =(s.a s.b)]
1544− ?: =(a.b 0) [%n ~] [%i =(s.a s.b)]
1535+ ?: =(a.b 0) [%n ~] [%i =(s.a s.b)]
1545− ?: ?=([$i *] b)
1536+ ?: ?=([%i *] b)
1546− ?: =(a.a 0) [%n ~] [%i =(s.a s.b)]
1537+ ?: =(a.a 0) [%n ~] [%i =(s.a s.b)]
1547− ?: |(=(a.a 0) =(a.b 0)) [%f =(s.a s.b) zer]
1538+ ?: |(=(a.a 0) =(a.b 0)) [%f =(s.a s.b) zer]
1548− [%f =(s.a s.b) (sum:si e.a e.b) (^^mul a.a a.b)]
1539+ [%f =(s.a s.b) (sum:si e.a e.b) (^^mul a.a a.b)]
@@ -1566,19 +1557,19 @@ Produces the quotient of `a` divided by `b`.
1569−#### Divide
1560+#### Source
1573− |= [a=fn b=fn] ^- fn
1564+ |= [a=fn b=fn] ^- fn
1574− ?: |(?=([$n *] a) ?=([$n *] b)) [%n ~]
1565+ ?: |(?=([%n *] a) ?=([%n *] b)) [%n ~]
1575− ?: ?=([$i *] a)
1566+ ?: ?=([%i *] a)
1576− ?: ?=([$i *] b) [%n ~] [%i =(s.a s.b)]
1567+ ?: ?=([%i *] b) [%n ~] [%i =(s.a s.b)]
1577− ?: ?=([$i *] b) [%f =(s.a s.b) zer]
1568+ ?: ?=([%i *] b) [%f =(s.a s.b) zer]
1578− ?: =(a.a 0) ?: =(a.b 0) [%n ~] [%f =(s.a s.b) zer]
1569+ ?: =(a.a 0) ?: =(a.b 0) [%n ~] [%f =(s.a s.b) zer]
1579− ?: =(a.b 0) [%i =(s.a s.b)]
1570+ ?: =(a.b 0) [%i =(s.a s.b)]
1580− ?: =(s.a s.b) (^div +>.a +>.b)
1571+ ?: =(s.a s.b) (^div +>.a +>.b)
1581− =.(r swr (fli (^div +>.a +>.b)))
1572+ =.(r swr (fli (^div +>.a +>.b)))
@@ -1605,16 +1596,16 @@ An `fn`.
1605#### Source
1596#### Source
1609− |= [a=fn b=fn c=fn] ^- fn
1600+ |= [a=fn b=fn c=fn] ^- fn
1610− (add (emu a b) c)
1601+ (add (emu a b) c)
1613#### Examples
1604#### Examples
1616− > (fma:fl [%f & --13 2.718] [%f & --23 11] [%f & --13 2.718])
1607+> (fma:fl [%f & --13 2.718] [%f & --23 11] [%f & --13 2.718])
1617− [%f s=%.y e=-62 a=9.475.054.514.089.037.465.004.673.635.188.736]=
1608+[%f s=%.y e=-62 a=9.475.054.514.089.037.465.004.673.635.188.736]=
@@ -1636,19 +1627,19 @@ An `fn`.
1636#### Source
1627#### Source
1640− |= [a=fn] ^- fn
1631+ |= [a=fn] ^- fn
1641− ?: ?=([$n *] a) [%n ~]
1632+ ?: ?=([%n *] a) [%n ~]
1642− ?: ?=([$i *] a) ?:(s.a a [%n ~])
1633+ ?: ?=([%i *] a) ?:(s.a a [%n ~])
1643− ?~ a.a [%f s.a zer]
1634+ ?~ a.a [%f s.a zer]
1644− ?: s.a (^sqt +>.a) [%n ~]
1635+ ?: s.a (^sqt +>.a) [%n ~]
1647#### Examples
1638#### Examples
1650− > (sqt:fl [%f s=%.y e=-18 a=342.602.577])
1641+> (sqt:fl [%f s=%.y e=-18 a=342.602.577])
1651− [%f s=%.y e=-107 a=5.865.903.143.604.945.574.132.671.852.050.553]
1642+[%f s=%.y e=-107 a=5.865.903.143.604.945.574.132.671.852.050.553]
@@ -1670,28 +1661,28 @@ An `fn`.
1670#### Source
1661#### Source
1674− |= [a=fn] ^- fn
1665+ |= [a=fn] ^- fn
1675− (div [%f & --0 1] a)
1666+ (div [%f & --0 1] a)
1678#### Examples
1669#### Examples
1681− > (inv:fl [%f s=%.y e=--0 a=10])
1672+> (inv:fl [%f s=%.y e=--0 a=10])
1682− [%f s=%.y e=-116 a=8.307.674.973.655.724.205.648.794.126.752.154]
1673+[%f s=%.y e=-116 a=8.307.674.973.655.724.205.648.794.126.752.154]
1683− > (drg:fl [%f s=%.y e=-116 a=8.307.674.973.655.724.205.648.794.126.752.154])
1674+> (drg:fl [%f s=%.y e=-116 a=8.307.674.973.655.724.205.648.794.126.752.154])
1684− [%d s=%.y e=-1 a=1]
1675+[%d s=%.y e=-1 a=1]
1686− > (inv:fl [%f s=%.y e=--1 a=10])
1677+> (inv:fl [%f s=%.y e=--1 a=10])
1687− [%f s=%.y e=-117 a=8.307.674.973.655.724.205.648.794.126.752.154]
1678+[%f s=%.y e=-117 a=8.307.674.973.655.724.205.648.794.126.752.154]
1688− > (drg:fl [%f s=%.y e=-117 a=8.307.674.973.655.724.205.648.794.126.752.154])
1679+> (drg:fl [%f s=%.y e=-117 a=8.307.674.973.655.724.205.648.794.126.752.154])
1689− [%d s=%.y e=-2 a=5]
1680+[%d s=%.y e=-2 a=5]
1691− > (inv:fl [%f s=%.y e=--2 a=10])
1682+> (inv:fl [%f s=%.y e=--2 a=10])
1692− [%f s=%.y e=-118 a=8.307.674.973.655.724.205.648.794.126.752.154]
1683+[%f s=%.y e=-118 a=8.307.674.973.655.724.205.648.794.126.752.154]
1693− > (drg:fl [%f s=%.y e=-118 a=8.307.674.973.655.724.205.648.794.126.752.154])
1684+> (drg:fl [%f s=%.y e=-118 a=8.307.674.973.655.724.205.648.794.126.752.154])
1694− [%d s=%.y e=-3 a=25]
1685+[%d s=%.y e=-3 a=25]
@@ -1713,22 +1704,22 @@ An `fn`.
1713#### Source
1704#### Source
1717− |= [a=@u] ^- fn
1708+ |= [a=@u] ^- fn
1718− (rou [%f & --0 a])
1709+ (rou [%f & --0 a])
1721#### Examples
1712#### Examples
1724− > (sun:fl 0)
1715+> (sun:fl 0)
1725− [%f s=%.y e=--0 a=0]
1716+[%f s=%.y e=--0 a=0]
1727− > (sun:fl 5.048.729)
1718+> (sun:fl 5.048.729)
1728− [%f s=%.y e=-90 a=6.250.023.776.601.238.669.911.180.544.311.296]
1719+[%f s=%.y e=-90 a=6.250.023.776.601.238.669.911.180.544.311.296]
1730− > (sun:fl -100)
1721+> (sun:fl -100)
@@ -1750,20 +1741,20 @@ An `fn`.
1750#### Source
1741#### Source
1754− |= [a=@s] ^- fn
1745+ |= [a=@s] ^- fn
1755− =+ b=(old:si a)
1746+ =+ b=(old:si a)
1756− (rou [%f -.b --0 +.b])
1747+ (rou [%f -.b --0 +.b])
1759#### Examples
1750#### Examples
1762− > (san:fl --100)
1753+> (san:fl --100)
1763− [%f s=%.y e=-106 a=8.112.963.841.460.668.169.578.900.514.406.400]
1754+[%f s=%.y e=-106 a=8.112.963.841.460.668.169.578.900.514.406.400]
1765− > (san:fl -100)
1756+> (san:fl -100)
1766− [%f s=%.n e=-106 a=8.112.963.841.460.668.169.578.900.514.406.400]
1757+[%f s=%.n e=-106 a=8.112.963.841.460.668.169.578.900.514.406.400]
@@ -1788,29 +1779,29 @@ A `unit` of `flag`.
1788#### Source
1779#### Source
1792− |= [a=fn b=fn] ^- (unit ?)
1783+ |= [a=fn b=fn] ^- (unit ?)
1793− ?: |(?=([$n *] a) ?=([$n *] b)) ~ :- ~
1784+ ?: |(?=([%n *] a) ?=([%n *] b)) ~ :- ~
1794− ?: =(a b) |
1785+ ?: =(a b) |
1795− ?: ?=([$i *] a) !s.a ?: ?=([$i *] b) s.b
1786+ ?: ?=([%i *] a) !s.a ?: ?=([%i *] b) s.b
1796− ?: |(=(a.a 0) =(a.b 0))
1787+ ?: |(=(a.a 0) =(a.b 0))
1797− ?: &(=(a.a 0) =(a.b 0)) |
1788+ ?: &(=(a.a 0) =(a.b 0)) |
1798− ?: =(a.a 0) s.b !s.a
1789+ ?: =(a.a 0) s.b !s.a
1799− ?: !=(s.a s.b) s.b
1790+ ?: !=(s.a s.b) s.b
1800− ?: s.a (^lth +>.a +>.b) (^lth +>.b +>.a)
1791+ ?: s.a (^lth +>.a +>.b) (^lth +>.b +>.a)
1803#### Examples
1794#### Examples
1806− > (lth:fl (sun:fl 116) (sun:fl 4.820))
1797+> (lth:fl (sun:fl 116) (sun:fl 4.820))
1807− [~ u=%.y]
1798+[~ u=%.y]
1809− > (lth:fl (sun:fl 218.116) (sun:fl 4.820))
1800+> (lth:fl (sun:fl 218.116) (sun:fl 4.820))
1810− [~ u=%.n]
1801+[~ u=%.n]
1812− > (lth:fl (sun:fl 218.116) [%n ~])
1803+> (lth:fl (sun:fl 218.116) [%n ~])
@@ -1835,28 +1826,28 @@ A `unit` of `flag`.
1835#### Source
1826#### Source
1839− |= [a=fn b=fn] ^- (unit ?)
1830+ |= [a=fn b=fn] ^- (unit ?)
1840− %+ bind (lth b a) |= a=? !a
1831+ %+ bind (lth b a) |= a=? !a
1843#### Examples
1834#### Examples
1846− > (lte:fl (sun:fl 102) [%f %.y -5 973.655.724])
1837+> (lte:fl (sun:fl 102) [%f %.y -5 973.655.724])
1847− [~ u=%.y]
1838+[~ u=%.y]
1849− > (lte:fl (sun:fl 102) [%f %.y -24 973.655.724])
1840+> (lte:fl (sun:fl 102) [%f %.y -24 973.655.724])
1850− [~ u=%.n]
1841+[~ u=%.n]
1852− > (lte:fl [%f %.y --2 25] (sun:fl 100))
1843+> (lte:fl [%f %.y --2 25] (sun:fl 100))
1853− [~ u=%.y]
1844+[~ u=%.y]
1855− > (lte:fl [%f %.y --2 25] [%f %.y --3 2])
1846+> (lte:fl [%f %.y --2 25] [%f %.y --3 2])
1856− [~ u=%.n]
1847+[~ u=%.n]
1858− > (lte:fl [%f %.y --2 25] [%n ~])
1849+> (lte:fl [%f %.y --2 25] [%n ~])
@@ -1881,25 +1872,25 @@ An `unit` of `flag`.
1881#### Source
1872#### Source
1885− |= [a=fn b=fn] ^- (unit ?)
1876+ |= [a=fn b=fn] ^- (unit ?)
1886− ?: |(?=([$n *] a) ?=([$n *] b)) ~ :- ~
1877+ ?: |(?=([%n *] a) ?=([%n *] b)) ~ :- ~
1887− ?: =(a b) &
1878+ ?: =(a b) &
1888− ?: |(?=([$i *] a) ?=([$i *] b)) |
1879+ ?: |(?=([%i *] a) ?=([%i *] b)) |
1889− ?: |(=(a.a 0) =(a.b 0))
1880+ ?: |(=(a.a 0) =(a.b 0))
1890− ?: &(=(a.a 0) =(a.b 0)) & |
1881+ ?: &(=(a.a 0) =(a.b 0)) & |
1891− ?: |(=(e.a e.b) !=(s.a s.b)) |
1882+ ?: |(=(e.a e.b) !=(s.a s.b)) |
1892− (^equ +>.a +>.b)
1883+ (^equ +>.a +>.b)
1895#### Examples
1886#### Examples
1898− > (equ:fl [%f %.y --2 25] (sun:fl 100))
1889+> (equ:fl [%f %.y --2 25] (sun:fl 100))
1899− [~ u=%.y]
1890+[~ u=%.y]
1901− > (equ:fl [%f %.y --2 25] (sun:fl 101))
1892+> (equ:fl [%f %.y --2 25] (sun:fl 101))
1902− [~ u=%.n]
1893+[~ u=%.n]
@@ -1924,21 +1915,21 @@ An `unit` of `flag`.
1924#### Source
1915#### Source
1928− |= [a=fn b=fn] ^- (unit ?) (lte b a)
1919+ |= [a=fn b=fn] ^- (unit ?) (lte b a)
1931#### Examples
1922#### Examples
1934− > (gte:fl [%f %.y --2 25] (sun:fl 100))
1925+> (gte:fl [%f %.y --2 25] (sun:fl 100))
1935− [~ u=%.y]
1926+[~ u=%.y]
1937− > (gth:fl [%f %.y --6 73.989] [%f %.y --5 919.599])
1928+> (gth:fl [%f %.y --6 73.989] [%f %.y --5 919.599])
1938− [~ u=%.n]
1929+[~ u=%.n]
1940− > (gth:fl [%f %.y --6 73.989] [%n ~])
1931+> (gth:fl [%f %.y --6 73.989] [%n ~])
@@ -1963,18 +1954,18 @@ An `unit` of `flag`.
1963#### Source
1954#### Source
1967− |= [a=fn b=fn] ^- (unit ?) (lth b a)
1958+ |= [a=fn b=fn] ^- (unit ?) (lth b a)
1970#### Examples
1961#### Examples
1973− > (gth:fl [%f %.y --2 25] (sun:fl 100))
1964+> (gth:fl [%f %.y --2 25] (sun:fl 100))
1974− [~ u=%.n]
1965+[~ u=%.n]
1976− > (gth:fl [%f %.y --6 73.989] [%f %.y --5 119.599])
1967+> (gth:fl [%f %.y --6 73.989] [%f %.y --5 119.599])
1977− [~ u=%.y]
1968+[~ u=%.y]
@@ -1997,19 +1988,19 @@ A `dn`.
1997#### Source
1988#### Source
2001− |= [a=fn] ^- dn
1992+ |= [a=fn] ^- dn
2002− ?: ?=([$n *] a) [%n ~]
1993+ ?: ?=([%n *] a) [%n ~]
2003− ?: ?=([$i *] a) [%i s.a]
1994+ ?: ?=([%i *] a) [%i s.a]
2004− ?~ a.a [%d s.a --0 0]
1995+ ?~ a.a [%d s.a --0 0]
2005− [%d s.a (^drg +>.a)]
1996+ [%d s.a (^drg +>.a)]
2008#### Examples
1999#### Examples
2011− > (drg:fl [%f | --6 73.989])
2002+> (drg:fl [%f | --6 73.989])
2012− [%d s=%.n e=--0 a=4.735.296]
2003+[%d s=%.n e=--0 a=4.735.296]
@@ -2031,25 +2022,25 @@ An `fn`.
2031#### Source
2022#### Source
2035− |= [a=dn] ^- fn
2026+ |= [a=dn] ^- fn
2036− ?: ?=([$n *] a) [%n ~]
2027+ ?: ?=([%n *] a) [%n ~]
2037− ?: ?=([$i *] a) [%i s.a]
2028+ ?: ?=([%i *] a) [%i s.a]
2038− => .(r %n)
2029+ => .(r %n)
2039− =+ q=(abs:si e.a)
2030+ =+ q=(abs:si e.a)
2040− ?: (syn:si e.a)
2031+ ?: (syn:si e.a)
2041− (mul [%f s.a --0 a.a] [%f & e.a (pow 5 q)])
2032+ (mul [%f s.a --0 a.a] [%f & e.a (pow 5 q)])
2042− (div [%f s.a --0 a.a] [%f & (sun:si q) (pow 5 q)])
2033+ (div [%f s.a --0 a.a] [%f & (sun:si q) (pow 5 q)])
2045#### Examples
2036#### Examples
2048− > (grd:fl [%d s=%.n e=--0 a=73.989])
2039+> (grd:fl [%d s=%.n e=--0 a=73.989])
2049− [%f s=%.n e=-96 a=5.862.012.516.267.904.074.208.723.341.410.304]
2040+[%f s=%.n e=-96 a=5.862.012.516.267.904.074.208.723.341.410.304]
2051− > (grd:fl [%d s=%.n e=--0 a=100])
2042+> (grd:fl [%d s=%.n e=--0 a=100])
2052− [%f s=%.n e=-106 a=8.112.963.841.460.668.169.578.900.514.406.400]
2043+[%f s=%.n e=-106 a=8.112.963.841.460.668.169.578.900.514.406.400]
@@ -2066,24 +2057,24 @@ Rounds `a` to the nearest signed integer.
2067#### Produces
2058#### Produces
2069−A `unit` of @s.
2060+A `unit` of `@s`.
2071#### Source
2062#### Source
2075− |= [a=fn] ^- (unit @s)
2066+ |= [a=fn] ^- (unit @s)
2076− =+ b=(toj a)
2067+ =+ b=(toj a)
2077− ?. ?=([$f *] b) ~ :- ~
2068+ ?. ?=([%f *] b) ~ :- ~
2078− =+ c=(^^mul (bex (abs:si e.b)) a.b)
2069+ =+ c=(^^mul (bex (abs:si e.b)) a.b)
2079− (new:si s.b c)
2070+ (new:si s.b c)
2082#### Examples
2073#### Examples
2085− > (toi:fl [%f s=%.y e=-78 a=8.112.963.841.460.668.169.578.900.514.406.400])
2076+> (toi:fl [%f s=%.y e=-78 a=8.112.963.841.460.668.169.578.900.514.406.400])
2086− [~ u=--26.843.545.600]
2077+[~ u=--26.843.545.600]
@@ -2100,34 +2091,33 @@ Rounds `a` to the nearest decimal integer.
2101#### Produces
2092#### Produces
2103−A `unit` of @s.
2094+A `unit` of `@s`.
2105#### Source
2096#### Source
2109− |= [a=fn] ^- fn
2100+ |= [a=fn] ^- fn
2110− ?. ?=([$f *] a) a
2101+ ?. ?=([%f *] a) a
2111− ?~ a.a [%f s.a zer]
2102+ ?~ a.a [%f s.a zer]
2112− ?: s.a (^toj +>.a)
2103+ ?: s.a (^toj +>.a)
2113− =.(r swr (fli (^toj +>.a)))
2104+ =.(r swr (fli (^toj +>.a)))
2117#### Examples
2107#### Examples
2120− > (toj:fl [%f s=%.y e=-78 a=8.112.963.841.460.668.169.578.900.514.406.400])
2110+> (toj:fl [%f s=%.y e=-78 a=8.112.963.841.460.668.169.578.900.514.406.400])
2121− [%f s=%.y e=--0 a=26.843.545.600]
2111+[%f s=%.y e=--0 a=26.843.545.600]
2123− > (toj:fl [%f s=%.y e=-78 a=8.112.963.841.460.668.169.578.900.514])
2113+> (toj:fl [%f s=%.y e=-78 a=8.112.963.841.460.668.169.578.900.514])
2124− [%f s=%.y e=--0 a=26.844]
2114+[%f s=%.y e=--0 a=26.844]
2126− > (toj:fl [%f s=%.y e=-78 a=8.112.963.841.460])
2116+> (toj:fl [%f s=%.y e=-78 a=8.112.963.841.460])
2127− [%f s=%.y e=--0 a=0]
2117+[%f s=%.y e=--0 a=0]
2129− > (toj:fl [%f s=%.y e=-9 a=9.002])
2119+> (toj:fl [%f s=%.y e=-9 a=9.002])
2130− [%f s=%.y e=--0 a=16]
2120+[%f s=%.y e=--0 a=16]
@@ -2141,23 +2131,22 @@ Container core for IEEE-754 formatting operations.
2141- `w` is width: The number of bits in the exponent field.
2131- `w` is width: The number of bits in the exponent field.
2142- `p` is precision: The number of bits in the significand field.
2132- `p` is precision: The number of bits in the significand field.
2143- `w` is bias: Added to exponent when storing.
2133- `w` is bias: Added to exponent when storing.
2144−- `r` is rounding mode: Possible modes are nearest (`$n`), up (`$u`),
2134+- `r` is rounding mode: Possible modes are nearest (`%n`), up (`%u`),
2145− down (`$d`), to zero (`$z`), and away from zero (`$a`). Default value is `%a`.
2135+ down (`%d`), to zero (`%z`), and away from zero (`%a`). Default value is `%a`.
2147#### Source
2137#### Source
2151− |_ [[w=@u p=@u b=@s] r=$?($n $u $d $z $a)]
2141+ |_ [[w=@u p=@u b=@s] r=$?(%n %u %d %z %a)]
2154#### Examples
2144#### Examples
2157− > =ffcore ~(. ff [8 8 0] %n)
2147+> =ffcore ~(. ff [8 8 0] %n)
2158− > ffcore
2148+> ffcore
2159− <24.ltg {{{@ud @ud @ud} r/$n} <54.tyv 119.wim 31.ohr 1.jmk $143>}>
2149+<24.ltg {{{@ud @ud @ud} r/$n} <54.tyv 119.wim 31.ohr 1.jmk $143>}>
@@ -2179,14 +2168,14 @@ Produces the sign bit of `++ff`.
2179#### Source
2168#### Source
2182− ++ sb (bex (^add w p))
2171+++ sb (bex (^add w p))
2185#### Examples
2174#### Examples
2188− > sb:ff
2177+> sb:ff
@@ -2200,14 +2189,14 @@ Produces the minimum possible exponent of `ff`.
2200#### Source
2189#### Source
2203− ++ me (dif:si (dif:si --1 b) (sun:si p))
2192+++ me (dif:si (dif:si --1 b) (sun:si p))
2206#### Examples
2195#### Examples
2209− > me:ff
2198+> me:ff
@@ -2222,20 +2211,20 @@ configuration of the `ff` core.
2222#### Source
2211#### Source
2226− %*(. fl p +(p), v me, w (^sub (bex w) 3), d %d, r r)
2215+ %*(. fl p +(p), v me, w (^sub (bex w) 3), d %d, r r)
2229#### Examples
2218#### Examples
2232− > ~(pa ff [11 52 --1.023] %n)
2221+> ~(pa ff [11 52 --1.023] %n)
2233− < 23.qzd
2222+< 23.qzd
2235− { {{p/@ v/@s w/@} r/?($n $u $a $d $z) d/$d}
2224+ { {{p/@ v/@s w/@} r/?($n $u $a $d $z) d/$d}
2236− <54.tyv 119.wim 31.ohr 1.jmk $143>
2225+ <54.tyv 119.wim 31.ohr 1.jmk $143>
2241#### Discussion
2230#### Discussion
@@ -2257,29 +2246,29 @@ Converts `a` from `@r` to `fn`.
2258#### Produces
2247#### Produces
2260−A `unit` of @s.
2249+A `unit` of `@s`.
2262#### Source
2251#### Source
2266− |= [a=@r] ^- fn
2255+ |= [a=@r] ^- fn
2267− =+ [f=(cut 0 [0 p] a) e=(cut 0 [p w] a)]
2256+ =+ [f=(cut 0 [0 p] a) e=(cut 0 [p w] a)]
2268− =+ s=(sig a)
2257+ =+ s=(sig a)
2269− ?: =(e 0)
2258+ ?: =(e 0)
2270− ?: =(f 0) [%f s --0 0] [%f s me f]
2259+ ?: =(f 0) [%f s --0 0] [%f s me f]
2271− ?: =(e (fil 0 w 1))
2260+ ?: =(e (fil 0 w 1))
2272− ?: =(f 0) [%i s] [%n ~]
2261+ ?: =(f 0) [%i s] [%n ~]
2273− =+ q=:(sum:si (sun:si e) me -1)
2262+ =+ q=:(sum:si (sun:si e) me -1)
2274− =+ r=(^add f (bex p))
2263+ =+ r=(^add f (bex p))
2275− [%f s q r]
2264+ [%f s q r]
2278#### Examples
2267#### Examples
2281− > (sea:ff `@r`0x8)
2270+> (sea:ff `@r`0x8)
2282− [%f s=%.y e=--0 a=0]
2271+[%f s=%.y e=--0 a=0]
@@ -2301,14 +2290,14 @@ A `@r`.
2301#### Source
2290#### Source
2304− ++ bit |= [a=fn] (bif (rou:pa a))
2293+++ bit |= [a=fn] (bif (rou:pa a))
2307#### Examples
2296#### Examples
2310− > (bit:ma:rd [%f | -6 202])
2299+> (bit:ma:rd [%f | -6 202])
2311− 0xc009400000000000
2300+0xc009400000000000
@@ -2330,28 +2319,28 @@ A `flag`.
2330#### Source
2319#### Source
2334− |= [a=fn] ^- @r
2323+ |= [a=fn] ^- @r
2335− ?: ?=([$i *] a)
2324+ ?: ?=([%i *] a)
2336− =+ q=(lsh 0 p (fil 0 w 1))
2325+ =+ q=(lsh [0 p] (fil 0 w 1))
2337− ?: s.a q (^add q sb)
2326+ ?: s.a q (^add q sb)
2338− ?: ?=([$n *] a) (lsh 0 (dec p) (fil 0 +(w) 1))
2327+ ?: ?=([%n *] a) (lsh [0 (dec p)] (fil 0 +(w) 1))
2339− ?~ a.a ?: s.a `@r`0 sb
2328+ ?~ a.a ?: s.a `@r`0 sb
2340− =+ ma=(met 0 a.a)
2329+ =+ ma=(met 0 a.a)
2341− ?. =(ma +(p))
2330+ ?. =(ma +(p))
2342− ?> =(e.a me)
2331+ ?> =(e.a me)
2343− ?> (^lth ma +(p))
2332+ ?> (^lth ma +(p))
2344− ?: s.a `@r`a.a (^add a.a sb)
2333+ ?: s.a `@r`a.a (^add a.a sb)
2345− =+ q=(sum:si (dif:si e.a me) --1)
2334+ =+ q=(sum:si (dif:si e.a me) --1)
2346− =+ r=(^add (lsh 0 p (abs:si q)) (end 0 p a.a))
2335+ =+ r=(^add (lsh [0 p] (abs:si q)) (end [0 p] a.a))
2347− ?: s.a r (^add r sb)
2336+ ?: s.a r (^add r sb)
2350#### Examples
2339#### Examples
2353− > (bif:ma:rd *fn)
2342+> (bif:ma:rd *fn)
2354− 0x7ff8000000000000
2343+0x7ff8000000000000
@@ -2373,16 +2362,16 @@ A `flag`.
2373#### Source
2362#### Source
2377− |= [a=@r] ^- ?
2366+ |= [a=@r] ^- ?
2378− =(0 (cut 0 [(^add p w) 1] a))
2367+ =(0 (cut 0 [(^add p w) 1] a))
2381#### Examples
2370#### Examples
2384− > (sig:ff `@r`5)
2373+> (sig:ff `@r`5)
@@ -2404,16 +2393,16 @@ A signed integer.
2404#### Source
2393#### Source
2408− |= [a=@r] ^- @s
2397+ |= [a=@r] ^- @s
2409− (dif:si (sun:si (cut 0 [p w] a)) b)
2398+ (dif:si (sun:si (cut 0 [p w] a)) b)
2412#### Examples
2401#### Examples
2415− > (exp:ff `@r`5)
2404+> (exp:ff `@r`5)
@@ -2437,16 +2426,16 @@ A `@r`, an IEEE float.
2437#### Source
2426#### Source
2441− |= [a=@r b=@r]
2430+ |= [a=@r b=@r]
2442− (bif (add:pa (sea a) (sea b)))
2431+ (bif (add:pa (sea a) (sea b)))
2445#### Examples
2434#### Examples
2448− > (add:ma:rd `@r`5 `@r`11)
2437+> (add:ma:rd `@r`5 `@r`11)
@@ -2470,16 +2459,16 @@ A `@r`, an IEEE float.
2470#### Source
2459#### Source
2474− |= [a=@r b=@r]
2463+ |= [a=@r b=@r]
2475− (bif (sub:pa (sea a) (sea b)))
2464+ (bif (sub:pa (sea a) (sea b)))
2478#### Examples
2467#### Examples
2481− > (sub:ma:rd `@r`5 `@r`11)
2470+> (sub:ma:rd `@r`5 `@r`11)
2482− 0x8000000000000006
2471+0x8000000000000006
@@ -2503,16 +2492,16 @@ A `@r`, an IEEE float.
2503#### Multiply
2492#### Multiply
2507− |= [a=@r b=@r]
2496+ |= [a=@r b=@r]
2508− (bif (mul:pa (sea a) (sea b)))
2497+ (bif (mul:pa (sea a) (sea b)))
2511#### Examples
2500#### Examples
2514− > (mul:ma:rd `@r`11 `@r`2)
2503+> (mul:ma:rd `@r`11 `@r`2)
@@ -2536,16 +2525,16 @@ A `@r`, an IEEE float.
2536#### Source
2525#### Source
2540− |= [a=@r b=@r]
2529+ |= [a=@r b=@r]
2541− (bif (div:pa (sea a) (sea b)))
2530+ (bif (div:pa (sea a) (sea b)))
2544#### Examples
2533#### Examples
2547− > (div:ma:rd `@r`175 `@r`26)
2536+> (div:ma:rd `@r`175 `@r`26)
2548− 0x401aec4ec4ec4ec4
2537+0x401aec4ec4ec4ec4
@@ -2572,16 +2561,16 @@ A `@r`, an IEEE float.
2572#### Source
2561#### Source
2576− |= [a=@r b=@r c=@r]
2565+ |= [a=@r b=@r c=@r]
2577− (bif (fma:pa (sea a) (sea b) (sea c)))
2566+ (bif (fma:pa (sea a) (sea b) (sea c)))
2580#### Examples
2569#### Examples
2583− > (fma:ma:rd `@r`175 `@r`26 `@r`100)
2572+> (fma:ma:rd `@r`175 `@r`26 `@r`100)
@@ -2603,16 +2592,16 @@ A `@r`, an IEEE float.
2603#### Source
2592#### Source
2607− |= [a=@r]
2596+ |= [a=@r]
2608− (bif (sqt:pa (sea a)))
2597+ (bif (sqt:pa (sea a)))
2611#### Examples
2600#### Examples
2614− > (sqt:ma:rd `@r`175)
2603+> (sqt:ma:rd `@r`175)
2615− 0x1e9a751f9447b724
2604+0x1e9a751f9447b724
@@ -2636,18 +2625,18 @@ A `flag`.
2636#### Source
2625#### Source
2640− |= [a=@r b=@r] (fall (lth:pa (sea a) (sea b)) |)
2629+ |= [a=@r b=@r] (fall (lth:pa (sea a) (sea b)) |)
2643#### Examples
2632#### Examples
2646− > (lth:ma:rd `@rd`1 `@rd`2)
2635+> (lth:ma:rd `@rd`1 `@rd`2)
2649− > (lth:ma:rd `@rd`10 `@rd`2)
2638+> (lth:ma:rd `@rd`10 `@rd`2)
@@ -2671,18 +2660,18 @@ A `flag`.
2671#### Source
2660#### Source
2675− |= [a=@r b=@r] (fall (lte:pa (sea a) (sea b)) |)
2664+ |= [a=@r b=@r] (fall (lte:pa (sea a) (sea b)) |)
2678#### Examples
2667#### Examples
2681− > (lte:ma:rd `@rd`10 `@rd`2)
2670+> (lte:ma:rd `@rd`10 `@rd`2)
2684− > (lte:ma:rd `@rd`10 `@rd`10)
2673+> (lte:ma:rd `@rd`10 `@rd`10)
@@ -2706,18 +2695,18 @@ A `flag`.
2706#### Source
2695#### Source
2710− |= [a=@r b=@r] (fall (equ:pa (sea a) (sea b)) |)
2699+ |= [a=@r b=@r] (fall (equ:pa (sea a) (sea b)) |)
2713#### Examples
2702#### Examples
2716− > (equ:ma:rd `@rd`10 `@rd`2)
2705+> (equ:ma:rd `@rd`10 `@rd`2)
2719− > (equ:ma:rd `@rd`10 `@rd`10)
2708+> (equ:ma:rd `@rd`10 `@rd`10)
@@ -2741,18 +2730,18 @@ A `flag`.
2741#### Source
2730#### Source
2745− |= [a=@r b=@r] (fall (gte:pa (sea a) (sea b)) |)
2734+ |= [a=@r b=@r] (fall (gte:pa (sea a) (sea b)) |)
2748#### Examples
2737#### Examples
2751− > (gte:ma:rd `@rd`10 `@rd`10)
2740+> (gte:ma:rd `@rd`10 `@rd`10)
2754− > (gte:ma:rd `@rd`10 `@rd`11)
2743+> (gte:ma:rd `@rd`10 `@rd`11)
@@ -2776,18 +2765,18 @@ A `flag`.
2776#### Source
2765#### Source
2780− |= [a=@r b=@r] (fall (gth:pa (sea a) (sea b)) |)
2769+ |= [a=@r b=@r] (fall (gth:pa (sea a) (sea b)) |)
2783#### Examples
2772#### Examples
2786− > (gth:ma:rd `@rd`10 `@rd`10)
2775+> (gth:ma:rd `@rd`10 `@rd`10)
2789− > (gth:ma:rd `@rd`10 `@rd`9)
2778+> (gth:ma:rd `@rd`10 `@rd`9)
@@ -2809,15 +2798,15 @@ A `@r`, an IEEE float.
2809#### Source
2798#### Source
2813− |= [a=@u] (bit [%f & --0 a])
2802+ |= [a=@u] (bit [%f & --0 a])
2816#### Examples
2805#### Examples
2819− > (sun:ma:rd 658.149.282)
2808+> (sun:ma:rd 658.149.282)
2820− 0x41c39d47d1000000
2809+0x41c39d47d1000000
@@ -2839,15 +2828,15 @@ A `@r`, an IEEE float.
2839#### Source
2828#### Source
2843− |= [a=@s] (bit [%f (syn:si a) --0 (abs:si a)])
2832+ |= [a=@s] (bit [%f (syn:si a) --0 (abs:si a)])
2846#### Examples
2835#### Examples
2849− > (san:ma:rd --10)
2838+> (san:ma:rd --10)
2850− 0x4024000000000000
2839+0x4024000000000000
@@ -2869,15 +2858,15 @@ A `flag` of `@s`.
2869#### Source
2858#### Source
2873− |= [a=@r] (toi:pa (sea a))
2862+ |= [a=@r] (toi:pa (sea a))
2876#### Examples
2865#### Examples
2879− > (toi:ma:rd `@r`0x4af)
2868+> (toi:ma:rd `@r`0x4af)
2880− [~ u=--0]
2869+[~ u=--0]
@@ -2899,18 +2888,18 @@ A `dn`.
2899#### Source
2888#### Source
2903− |= [a=@r] (drg:pa (sea a))
2892+ |= [a=@r] (drg:pa (sea a))
2906#### Examples
2895#### Examples
2909− > (drg:ma:rd `@r`0x41c0)
2898+> (drg:ma:rd `@r`0x41c0)
2910− [%d s=%.y e=-323 a=8.316]
2899+[%d s=%.y e=-323 a=8.316]
2912− > (drg:ma:rd (sun:ma:rd 658.149.282))
2901+> (drg:ma:rd (sun:ma:rd 658.149.282))
2913− [%d s=%.y e=--0 a=658.149.282]
2902+[%d s=%.y e=--0 a=658.149.282]
@@ -2932,16 +2921,15 @@ A `@r`, an IEEE float.
2932#### Source
2921#### Source
2936− |= [a=dn] (bif (grd:pa a))
2925+ |= [a=dn] (bif (grd:pa a))
2940#### Examples
2928#### Examples
2943− > (grd:ma:rd [%d s=%.y e=--0 a=658.149.282])
2931+> (grd:ma:rd [%d s=%.y e=--0 a=658.149.282])
2944− 0x41c39d47d1000000
2932+0x41c39d47d1000000
@@ -2963,14 +2951,14 @@ A `dn`.
2963#### Source
2951#### Source
2966− ++ rlyd |= a=@rd ^- dn (drg:rd a)
2954+++ rlyd |= a=@rd ^- dn (drg:rd a)
2969#### Examples
2957#### Examples
2972− > (rlyd .~2.4703e-320)
2960+> (rlyd .~2.4703e-320)
2973− [%d s=%.y e=-324 a=24.703]
2961+[%d s=%.y e=-324 a=24.703]
@@ -2992,14 +2980,14 @@ A `dn`.
2992#### Source
2980#### Source
2995− ++ rlys |= a=@rs ^- dn (drg:rs a)
2983+++ rlys |= a=@rs ^- dn (drg:rs a)
2998#### Examples
2986#### Examples
3001− > (rlys .1.681557e-39)
2989+> (rlys .1.681557e-39)
3002− [%d s=%.y e=-45 a=1.681.557]
2990+[%d s=%.y e=-45 a=1.681.557]
@@ -3021,14 +3009,14 @@ A `dn`.
3021#### Source
3009#### Source
3024− ++ rlyh |= a=@rh ^- dn (drg:rh a)
3012+++ rlyh |= a=@rh ^- dn (drg:rh a)
3027#### Examples
3015#### Examples
3030− > (rlyh .~~3e1)
3018+> (rlyh .~~3e1)
3031− [%d s=%.y e=--1 a=3]
3019+[%d s=%.y e=--1 a=3]
@@ -3050,14 +3038,14 @@ A `dn`.
3050#### Source
3038#### Source
3053− ++ rlyq |= a=@rq ^- dn (drg:rq a)
3041+++ rlyq |= a=@rq ^- dn (drg:rq a)
3056#### Examples
3044#### Examples
3059− > (rlyq .~~~2.2628017865927756787440310766086816e-4343)
3047+> (rlyq .~~~2.2628017865927756787440310766086816e-4343)
3060− [%d s=%.y e=-4.377 a=22.628.017.865.927.756.787.440.310.766.086.816]
3048+[%d s=%.y e=-4.377 a=22.628.017.865.927.756.787.440.310.766.086.816]
@@ -3079,14 +3067,14 @@ A a `@rd`, a double-precision float.
3079#### Source
3067#### Source
3082− ++ ryld |= a=dn ^- @rd (grd:rd a)
3070+++ ryld |= a=dn ^- @rd (grd:rd a)
3085#### Examples
3073#### Examples
3088− > (ryld [%d s=%.y e=-324 a=24.703])
3076+> (ryld [%d s=%.y e=-324 a=24.703])
3089− .~2.4703e-320
3077+.~2.4703e-320
@@ -3108,17 +3096,17 @@ A a `@rs`, a single-precision float.
3108#### Source
3096#### Source
3111− ++ ryls |= a=dn ^- @rs (grd:rs a)
3099+++ ryls |= a=dn ^- @rs (grd:rs a)
3114#### Examples
3102#### Examples
3117− > (ryls [%d s=%.y e=-324 a=24.703])
3105+> (ryls [%d s=%.y e=-324 a=24.703])
3120− > (ryls [%d s=%.y e=-32 a=24.703])
3108+> (ryls [%d s=%.y e=-32 a=24.703])
3121− .2.4703e-28
3109+.2.4703e-28
@@ -3140,20 +3128,20 @@ A a `@rh`, a half-precision float.
3140#### Source
3128#### Source
3143− ++ rylh |= a=dn ^- @rh (grd:rh a)
3131+++ rylh |= a=dn ^- @rh (grd:rh a)
3146#### Examples
3134#### Examples
3149− > (rylh [%d s=%.y e=--1 a=703])
3137+> (rylh [%d s=%.y e=--1 a=703])
3150− .~~7.032e3
3138+.~~7.032e3
3152− > (rylh [%d s=%.y e=--3 a=56])
3140+> (rylh [%d s=%.y e=--3 a=56])
3153− .~~5.6e4
3141+.~~5.6e4
3155− > (rylh [%d s=%.y e=--4 a=56])
3143+> (rylh [%d s=%.y e=--4 a=56])
@@ -3175,14 +3163,14 @@ A a `@rq`, a quad-precision float.
3175#### Source
3163#### Source
3178− ++ rylq |= a=dn ^- @rq (grd:rq a)
3166+++ rylq |= a=dn ^- @rq (grd:rq a)
3181#### Examples
3169#### Examples
3184− > (rylq [%d s=%.y e=-324 a=24.703])
3172+> (rylq [%d s=%.y e=-324 a=24.703])
3185− .~~~2.4703e-320
3173+.~~~2.4703e-320
@@ -3199,10 +3187,10 @@ down (`$d`), and round to zero (`$z`).
3199#### Source
3187#### Source
3204− ~% %rd +> ~
3192+ ~% %rd +> ~
3205− |_ r=$?($n $u $d $z)
3193+ |_ r=$?(%n %u %d %z)
@@ -3217,17 +3205,17 @@ configuration of the `rd` core.
3217#### Source
3205#### Source
3221− %*(. ff w 11, p 52, b --1.023, r r)
3209+ %*(. ff w 11, p 52, b --1.023, r r)
3224#### Examples
3212#### Examples
3227− > ~(ma rd %n)
3215+> ~(ma rd %n)
3228− < 24.ltg
3216+< 24.ltg
3229− {{{w/@ud p/@ud b/@sd} r/?($n $u $d $z)} <54.tyv 119.wim 31.ohr 1.jmk $143>}
3217+ {{{w/@ud p/@ud b/@sd} r/?($n $u $d $z)} <54.tyv 119.wim 31.ohr 1.jmk $143>}
@@ -3238,16 +3226,18 @@ configuration of the `rd` core.
3239Converts `a` from a double-precision binary float to `fn`.
3227Converts `a` from a double-precision binary float to `fn`.
3242− ++ sea :: @rd to fn
3232+++ sea
3243− |= [a=@rd] (sea:ma a)
3233+ |= [a=@rd] (sea:ma a)
3246#### Examples
3236#### Examples
3249− > (sea:rd .~4.94066e-319)
3239+> (sea:rd .~4.94066e-319)
3250− [%f s=%.y e=-1.074 a=100.000]
3240+[%f s=%.y e=-1.074 a=100.000]
@@ -3269,15 +3259,15 @@ A `@rd`, a double-precision float.
3269#### Source
3259#### Source
3273− |= [a=fn] ^- @rd (bit:ma a)
3263+ |= [a=fn] ^- @rd (bit:ma a)
3276#### Examples
3266#### Examples
3279− > (bit:rd [%f s=%.y e=-1.074 a=100.000])
3269+> (bit:rd [%f s=%.y e=-1.074 a=100.000])
3280− .~4.94066e-319
3270+.~4.94066e-319
@@ -3301,17 +3291,17 @@ A `@rd`.
3301#### Source
3291#### Source
3304− ++ add ~/ %add
3294+++ add ~/ %add
3305− |= [a=@rd b=@rd] ^- @rd
3295+ |= [a=@rd b=@rd] ^- @rd
3306− ~_ leaf+"rd-fail"
3296+ ~_ leaf+"rd-fail"
3307− (add:ma a b)
3297+ (add:ma a b)
3310#### Examples
3300#### Examples
3313− > (add:rd .~3.94066e12 .~9.2846e11)
3303+> (add:rd .~3.94066e12 .~9.2846e11)
3314− .~4.86912e12
3304+.~4.86912e12
@@ -3335,17 +3325,17 @@ A `@rd`.
3335#### Source
3325#### Source
3338− ++ sub ~/ %sub
3328+++ sub ~/ %sub
3339− |= [a=@rd b=@rd] ^- @rd
3329+ |= [a=@rd b=@rd] ^- @rd
3340− ~_ leaf+"rd-fail"
3330+ ~_ leaf+"rd-fail"
3341− (sub:ma a b)
3331+ (sub:ma a b)
3344#### Examples
3334#### Examples
3347− > (sub:rd .~7.94069e2 .~1.2846e3)
3337+> (sub:rd .~7.94069e2 .~1.2846e3)
3348− .~-4.9053099999999995e2
3338+.~-4.9053099999999995e2
@@ -3369,17 +3359,17 @@ A `@rd`.
3369#### Source
3359#### Source
3372− ++ mul ~/ %mul
3362+++ mul ~/ %mul
3373− |= [a=@rd b=@rd] ^- @rd
3363+ |= [a=@rd b=@rd] ^- @rd
3374− ~_ leaf+"rd-fail"
3364+ ~_ leaf+"rd-fail"
3375− (mul:ma a b)
3365+ (mul:ma a b)
3378#### Examples
3368#### Examples
3381− > (mul:rd .~7.94069e2 .~1.2246e3)
3371+> (mul:rd .~7.94069e2 .~1.2246e3)
3382− .~9.724168973999998e5
3372+.~9.724168973999998e5
@@ -3403,17 +3393,17 @@ A `@rd`.
3403#### Source
3393#### Source
3406− ++ div ~/ %div
3396+++ div ~/ %div
3407− |= [a=@rd b=@rd] ^- @rd
3397+ |= [a=@rd b=@rd] ^- @rd
3408− ~_ leaf+"rd-fail"
3398+ ~_ leaf+"rd-fail"
3409− (div:ma a b)
3399+ (div:ma a b)
3412#### Examples
3402#### Examples
3415− > (div:rd .~7.94099e2 .~1.2246e3)
3405+> (div:rd .~7.94099e2 .~1.2246e3)
3416− .~6.484558223093255e-1
3406+.~6.484558223093255e-1
@@ -3439,20 +3429,18 @@ A `@rd`.
3440#### Source
3430#### Source
3445− ++ fma ~/ %fma
3433+++ fma ~/ %fma
3446− |= [a=@rd b=@rd c=@rd] ^- @rd
3434+ |= [a=@rd b=@rd c=@rd] ^- @rd
3447− ~_ leaf+"rd-fail"
3435+ ~_ leaf+"rd-fail"
3448− (fma:ma a b c)
3436+ (fma:ma a b c)
3451#### Examples
3439#### Examples
3454− > (fma:rd .~7.94099e2 .~1.2246e3 .~3.94066e3)
3442+> (fma:rd .~7.94099e2 .~1.2246e3 .~3.94066e3)
3455− .~9.763942954e5
3443+.~9.763942954e5
@@ -3474,16 +3462,16 @@ A `@rd`.
3474#### Source
3462#### Source
3477− ++ sqt ~/ %sqt
3465+++ sqt ~/ %sqt
3478− |= [a=@rd] ^- @rd ~_ leaf+"rd-fail"
3466+ |= [a=@rd] ^- @rd ~_ leaf+"rd-fail"
3479− (sqt:ma a)
3467+ (sqt:ma a)
3482#### Examples
3470#### Examples
3485− > (sqt:rd .~3.94066e3)
3473+> (sqt:rd .~3.94066e3)
3486− .~6.2774676422901614e1
3474+.~6.2774676422901614e1
@@ -3507,23 +3495,23 @@ A `@rd`.
3507#### Source
3495#### Source
3510− ++ lth ~/ %lth
3498+++ lth ~/ %lth
3511− |= [a=@rd b=@rd]
3499+ |= [a=@rd b=@rd]
3512− ~_ leaf+"rd-fail"
3500+ ~_ leaf+"rd-fail"
3513− (lth:ma a b)
3501+ (lth:ma a b)
3516#### Examples
3504#### Examples
3519− > (lth:rd .~7.94099e2 .~1.2246e3)
3507+> (lth:rd .~7.94099e2 .~1.2246e3)
3522− > (lth:rd .~7.94099e2 .~1.2246e2)
3510+> (lth:rd .~7.94099e2 .~1.2246e2)
3525− > (lth:rd .~1.2246e2 .~1.2246e2)
3513+> (lth:rd .~1.2246e2 .~1.2246e2)
@@ -3547,23 +3535,23 @@ A `@rd`.
3547#### Source
3535#### Source
3550− ++ lte ~/ %lte :: less-equals
3538+++ lte ~/ %lte
3551− |= [a=@rd b=@rd]
3539+ |= [a=@rd b=@rd]
3552− ~_ leaf+"rd-fail"
3540+ ~_ leaf+"rd-fail"
3553− (lte:ma a b)
3541+ (lte:ma a b)
3556#### Examples
3544#### Examples
3559− > (lte:rd .~7.94099e2 .~1.2246e3)
3547+> (lte:rd .~7.94099e2 .~1.2246e3)
3562− > (lte:rd .~7.94099e2 .~1.2246e2)
3550+> (lte:rd .~7.94099e2 .~1.2246e2)
3565− > (lte:rd .~1.2246e2 .~1.2246e2)
3553+> (lte:rd .~1.2246e2 .~1.2246e2)
@@ -3587,23 +3575,23 @@ A `@rd`.
3587#### Source
3575#### Source
3590− ++ equ ~/ %equ
3578+++ equ ~/ %equ
3591− |= [a=@rd b=@rd]
3579+ |= [a=@rd b=@rd]
3592− ~_ leaf+"rd-fail"
3580+ ~_ leaf+"rd-fail"
3593− (equ:ma a b)
3581+ (equ:ma a b)
3596#### Examples
3584#### Examples
3599− > (equ:rd .~7.94099e2 .~1.2246e3)
3587+> (equ:rd .~7.94099e2 .~1.2246e3)
3602− > (equ:rd .~7.94099e2 .~1.2246e2)
3590+> (equ:rd .~7.94099e2 .~1.2246e2)
3605− > (equ:rd .~1.2246e2 .~1.2246e2)
3593+> (equ:rd .~1.2246e2 .~1.2246e2)
@@ -3627,23 +3615,23 @@ A `@rd`.
3627#### Source
3615#### Source
3630− ++ gte ~/ %gte
3618+++ gte ~/ %gte
3631− |= [a=@rd b=@rd]
3619+ |= [a=@rd b=@rd]
3632− ~_ leaf+"rd-fail"
3620+ ~_ leaf+"rd-fail"
3633− (gte:ma a b)
3621+ (gte:ma a b)
3636#### Examples
3624#### Examples
3639− > (gte:rd .~7.94099e2 .~1.2246e3)
3627+> (gte:rd .~7.94099e2 .~1.2246e3)
3642− > (gte:rd .~7.94099e2 .~1.2246e2)
3630+> (gte:rd .~7.94099e2 .~1.2246e2)
3645− > (gte:rd .~1.2246e2 .~1.2246e2)
3633+> (gte:rd .~1.2246e2 .~1.2246e2)
@@ -3667,23 +3655,23 @@ A `@rd`.
3667#### Source
3655#### Source
3670− ++ gth ~/ %gth
3658+++ gth ~/ %gth
3671− |= [a=@rd b=@rd]
3659+ |= [a=@rd b=@rd]
3672− ~_ leaf+"rd-fail"
3660+ ~_ leaf+"rd-fail"
3673− (gth:ma a b)
3661+ (gth:ma a b)
3676#### Examples
3664#### Examples
3679− > (gth:rd .~7.94099e2 .~1.2246e3)
3667+> (gth:rd .~7.94099e2 .~1.2246e3)
3682− > (gth:rd .~7.94099e2 .~1.2246e2)
3670+> (gth:rd .~7.94099e2 .~1.2246e2)
3685− > (gth:rd .~1.2246e2 .~1.2246e2)
3673+> (gth:rd .~1.2246e2 .~1.2246e2)
@@ -3705,14 +3693,14 @@ A `@rd`.
3705#### Source
3693#### Source
3708− ++ sun |= [a=@u] ^- @rd (sun:ma a)
3696+++ sun |= [a=@u] ^- @rd (sun:ma a)
3711#### Examples
3699#### Examples
3714− > (sun:rd 511)
3702+> (sun:rd 511)
3715− .~5.11e2
3703+.~5.11e2
@@ -3734,14 +3722,14 @@ A `@rd`.
3734#### Source
3722#### Source
3737− ++ san |= [a=@s] ^- @rd (san:ma a)
3725+++ san |= [a=@s] ^- @rd (san:ma a)
3740#### Examples
3728#### Examples
3743− > (san:rd -511)
3731+> (san:rd -511)
3744− .~-5.11e2
3732+.~-5.11e2
@@ -3763,14 +3751,14 @@ A `flag`.
3763#### Source
3751#### Source
3766− ++ sig |= [a=@rd] ^- ? (sig:ma a)
3754+++ sig |= [a=@rd] ^- ? (sig:ma a)
3769#### Examples
3757#### Examples
3772− > (sig:rd .~1.2246e3)
3760+> (sig:rd .~1.2246e3)
@@ -3792,14 +3780,14 @@ A `@s`.
3792#### Source
3780#### Source
3795− ++ exp |= [a=@rd] ^- @s (exp:ma a) :: get exponent
3783+++ exp |= [a=@rd] ^- @s (exp:ma a)
3798#### Examples
3786#### Examples
3801− > (exp:rd .~1.2246e3)
3789+> (exp:rd .~1.2246e3)
@@ -3821,14 +3809,14 @@ A `unit` of `@s`.
3821#### Source
3809#### Source
3824− ++ toi |= [a=@rd] ^- (unit @s) (toi:ma a)
3812+++ toi |= [a=@rd] ^- (unit @s) (toi:ma a)
3827#### Examples
3815#### Examples
3830− > (toi:rd .~1.2246e3)
3818+> (toi:rd .~1.2246e3)
3831− [~ u=--1.224]
3819+[~ u=--1.224]
@@ -3851,14 +3839,14 @@ A `dn`.
3851#### Source
3839#### Source
3854− ++ drg |= [a=@rd] ^- dn (drg:ma a)
3842+++ drg |= [a=@rd] ^- dn (drg:ma a)
3857#### Examples
3845#### Examples
3860− > (drg:rd .~1.2246e3)
3848+> (drg:rd .~1.2246e3)
3861− [%d s=%.y e=-1 a=12.246]
3849+[%d s=%.y e=-1 a=12.246]
@@ -3880,15 +3868,14 @@ A `@rd`.
3880#### Source
3868#### Source
3883− ++ grd |= [a=dn] ^- @rd (grd:ma a) :: decimal float to @rd
3871+++ grd |= [a=dn] ^- @rd (grd:ma a)
3887#### Examples
3874#### Examples
3890− > (grd:rd [%d s=%.y e=-1 a=12.246])
3877+> (grd:rd [%d s=%.y e=-1 a=12.246])
3891− .~1.2246e3
3878+.~1.2246e3
@@ -3905,10 +3892,10 @@ down (`$d`), and round to zero (`$z`).
3905#### Source
3892#### Source
3909− ~% %rs +> ~
3896+ ~% %rs +> ~
3911− |_ r=$?($n $u $d $z)
3898+ |_ r=$?(%n %u %d %z)
@@ -3923,17 +3910,17 @@ configuration of the `rs` core.
3923#### Source
3910#### Source
3927− %*(. ff w 8, p 23, b --127, r r)
3914+ %*(. ff w 8, p 23, b --127, r r)
3930#### Examples
3917#### Examples
3933− > ~(ma rs %n)
3920+> ~(ma rs %n)
3934− < 24.ltg
3921+< 24.ltg
3935− {{{w/@ud p/@ud b/@sd} r/?($n $u $d $z)} <54.tyv 119.wim 31.ohr 1.jmk $143>}
3922+ {{{w/@ud p/@ud b/@sd} r/?($n $u $d $z)} <54.tyv 119.wim 31.ohr 1.jmk $143>}
@@ -3955,15 +3942,15 @@ An `fn`.
3955#### Source
3942#### Source
3959− |= [a=@rs] (sea:ma a)
3946+ |= [a=@rs] (sea:ma a)
3962#### Examples
3949#### Examples
3965− > (sea:rs .1.4e-43)
3952+> (sea:rs .1.4e-43)
3966− [%f s=%.y e=-149 a=100]
3953+[%f s=%.y e=-149 a=100]
@@ -3985,15 +3972,15 @@ A `@rs`, a single-precision float.
3985#### Source
3972#### Source
3989− |= [a=fn] ^- @rs (bit:ma a)
3976+ |= [a=fn] ^- @rs (bit:ma a)
3992#### Examples
3979#### Examples
3995− > (bit:rs [%f & -2 1.000])
3982+> (bit:rs [%f & -2 1.000])
@@ -4017,17 +4004,17 @@ A `@rs`.
4017#### Source
4004#### Source
4020− ++ add ~/ %add
4007+++ add ~/ %add
4021− |= [a=@rs b=@rs] ^- @rs
4008+ |= [a=@rs b=@rs] ^- @rs
4022− ~_ leaf+"rs-fail"
4009+ ~_ leaf+"rs-fail"
4023− (add:ma a b)
4010+ (add:ma a b)
4026#### Examples
4013#### Examples
4029− > (add:rs .2.5e1 .2.5e2)
4016+> (add:rs .2.5e1 .2.5e2)
4030− .2.75e2
4017+.2.75e2
@@ -4038,20 +4025,26 @@ Subtract
4039Subtracts `a` from `b`.
4026Subtracts `a` from `b`.
4041#### Source
4034#### Source
4044− ++ sub ~/ %sub
4037+++ sub ~/ %sub
4045− |= [a=@rs b=@rs] ^- @rs
4038+ |= [a=@rs b=@rs] ^- @rs
4046− ~_ leaf+"rs-fail"
4039+ ~_ leaf+"rs-fail"
4047− (sub:ma a b)
4040+ (sub:ma a b)
4050#### Examples
4043#### Examples
4053− > (sub:rs .2.5e1 .2.5e2)
4046+> (sub:rs .2.5e1 .2.5e2)
4054− .-2.25e2
4047+.-2.25e2
@@ -4075,17 +4068,17 @@ A `@rs`.
4075#### Source
4068#### Source
4078− ++ mul ~/ %mul
4071+++ mul ~/ %mul
4079− |= [a=@rs b=@rs] ^- @rs
4072+ |= [a=@rs b=@rs] ^- @rs
4080− ~_ leaf+"rs-fail"
4073+ ~_ leaf+"rs-fail"
4081− (mul:ma a b)
4074+ (mul:ma a b)
4084#### Examples
4077#### Examples
4087− > (mul:rs .2.5e1 .2.5e2)
4080+> (mul:rs .2.5e1 .2.5e2)
4088− .6.25e3
4081+.6.25e3
@@ -4109,17 +4102,17 @@ A `@rs`.
4109#### Source
4102#### Source
4112− ++ div ~/ %div
4105+++ div ~/ %div
4113− |= [a=@rs b=@rs] ^- @rs
4106+ |= [a=@rs b=@rs] ^- @rs
4114− ~_ leaf+"rs-fail"
4107+ ~_ leaf+"rs-fail"
4115− (div:ma a b)
4108+ (div:ma a b)
4118#### Examples
4111#### Examples
4121− > (div:rs .4.5e1 .2.2e2)
4114+> (div:rs .4.5e1 .2.2e2)
4122− .2.0454545e-1
4115+.2.0454545e-1
@@ -4146,17 +4139,17 @@ A `@rs`.
4146#### Source
4139#### Source
4149− ++ fma ~/ %fma
4142+++ fma ~/ %fma
4150− |= [a=@rs b=@rs c=@rs] ^- @rs
4143+ |= [a=@rs b=@rs c=@rs] ^- @rs
4151− ~_ leaf+"rs-fail"
4144+ ~_ leaf+"rs-fail"
4152− (fma:ma a b c)
4145+ (fma:ma a b c)
4155#### Examples
4148#### Examples
4158− > (fma:rs .2.5e1 .2.5e2 .8.2e1)
4151+> (fma:rs .2.5e1 .2.5e2 .8.2e1)
4159− .6.332e3
4152+.6.332e3
@@ -4178,17 +4171,17 @@ A `@rs`.
4178#### Source
4171#### Source
4181− ++ sqt ~/ %sqt
4174+++ sqt ~/ %sqt
4182− |= [a=@rs] ^- @rs
4175+ |= [a=@rs] ^- @rs
4183− ~_ leaf+"rs-fail"
4176+ ~_ leaf+"rs-fail"
4184− (sqt:ma a)
4177+ (sqt:ma a)
4187#### Examples
4180#### Examples
4190− > (sqt:rs .2.5e2)
4183+> (sqt:rs .2.5e2)
4191− .1.5811388e1
4184+.1.5811388e1
@@ -4212,20 +4205,20 @@ A `@rs`.
4212#### Source
4205#### Source
4215− ++ lth ~/ %lth
4208+++ lth ~/ %lth
4216− |= [a=@rs b=@rs]
4209+ |= [a=@rs b=@rs]
4217− ~_ leaf+"rs-fail"
4210+ ~_ leaf+"rs-fail"
4218− (lth:ma a b)
4211+ (lth:ma a b)
4221#### Examples
4214#### Examples
4224− > (lth:rs .9.9e1 .1.1e2)
4217+> (lth:rs .9.9e1 .1.1e2)
4227− > (lth:rs .9.9e1 .9.9e1)
4220+> (lth:rs .9.9e1 .9.9e1)
@@ -4249,20 +4242,20 @@ A `@rs`.
4249#### Source
4242#### Source
4252− ++ lte ~/ %lte
4245+++ lte ~/ %lte
4253− |= [a=@rs b=@rs]
4246+ |= [a=@rs b=@rs]
4254− ~_ leaf+"rs-fail"
4247+ ~_ leaf+"rs-fail"
4255− (lte:ma a b)
4248+ (lte:ma a b)
4258#### Examples
4251#### Examples
4261− > (lte:rs .9.9e1 .1.1e2)
4254+> (lte:rs .9.9e1 .1.1e2)
4264− > (lte:rs .9.9e1 .9.9e1)
4257+> (lte:rs .9.9e1 .9.9e1)
@@ -4286,20 +4279,20 @@ A `@rs`.
4286#### Source
4279#### Source
4289− ++ equ ~/ %equ
4282+++ equ ~/ %equ
4290− |= [a=@rs b=@rs]
4283+ |= [a=@rs b=@rs]
4291− ~_ leaf+"rs-fail"
4284+ ~_ leaf+"rs-fail"
4292− (equ:ma a b)
4285+ (equ:ma a b)
4295#### Examples
4288#### Examples
4298− > (equ:rs .9.9e1 .1.1e2)
4291+> (equ:rs .9.9e1 .1.1e2)
4301− > (equ:rs .9.9e1 .9.9e1)
4294+> (equ:rs .9.9e1 .9.9e1)
@@ -4323,20 +4316,20 @@ A `@rs`.
4323#### Source
4316#### Source
4326− ++ gte ~/ %gte
4319+++ gte ~/ %gte
4327− |= [a=@rs b=@rs]
4320+ |= [a=@rs b=@rs]
4328− ~_ leaf+"rs-fail"
4321+ ~_ leaf+"rs-fail"
4329− (gte:ma a b)
4322+ (gte:ma a b)
4332#### Examples
4325#### Examples
4335− > (gte:rs .9.9e1 .9.9e1)
4328+> (gte:rs .9.9e1 .9.9e1)
4338− > (gte:rs .9.9e1 .9.2e2)
4331+> (gte:rs .9.9e1 .9.2e2)
@@ -4360,23 +4353,23 @@ A `@rs`.
4360#### Source
4353#### Source
4363− ++ gth ~/ %gth
4356+++ gth ~/ %gth
4364− |= [a=@rs b=@rs]
4357+ |= [a=@rs b=@rs]
4365− ~_ leaf+"rs-fail"
4358+ ~_ leaf+"rs-fail"
4366− (gth:ma a b)
4359+ (gth:ma a b)
4369#### Examples
4362#### Examples
4372− > (gth:rs .9.9e1 .9.2e2)
4365+> (gth:rs .9.9e1 .9.2e2)
4375− > (gth:rs .9.9e1 .9.9e1)
4368+> (gth:rs .9.9e1 .9.9e1)
4378− > (gth:rs .9.9e1 .1.9e1)
4371+> (gth:rs .9.9e1 .1.9e1)
@@ -4398,14 +4391,14 @@ A `@rs`.
4398#### Source
4391#### Source
4401− ++ sun |= [a=@u] ^- @rs (sun:ma a)
4394+++ sun |= [a=@u] ^- @rs (sun:ma a)
4404#### Examples
4397#### Examples
4407− > (sun:rs 343)
4400+> (sun:rs 343)
4408− .3.43e2
4401+.3.43e2
@@ -4427,16 +4420,18 @@ A `@rs`.
4427#### Source
4420#### Source
4430− ++ san |= [a=@s] ^- @rs (san:ma a)
4423+++ san |= [a=@s] ^- @rs (san:ma a)
4433#### Examples
4426#### Examples
4436− > (san:rs -343)
4429+> (san:rs -343)
4437− .-3.43e2'
4430+.-3.43e2'
4440### `++sig:rs`
4435### `++sig:rs`
@@ -4454,17 +4449,17 @@ A `flag`.
4454#### Source
4449#### Source
4457− ++ sig |= [a=@rs] ^- ? (sig:ma a)
4452+++ sig |= [a=@rs] ^- ? (sig:ma a)
4460#### Examples
4455#### Examples
4463− > (sig:rs .3.43e2)
4458+> (sig:rs .3.43e2)
4466− > (sig:rs .-3.43e2)
4461+> (sig:rs .-3.43e2)
@@ -4486,14 +4481,14 @@ A signed integer.
4486#### Source
4481#### Source
4489− ++ exp |= [a=@rs] ^- @s (exp:ma a)
4484+++ exp |= [a=@rs] ^- @s (exp:ma a)
4492#### Examples
4487#### Examples
4495− > (exp:rs .-3.43e2)
4490+> (exp:rs .-3.43e2)
@@ -4515,14 +4510,14 @@ A `unit` of `@s`.
4515#### Source
4510#### Source
4518− ++ toi |= [a=@rs] ^- (unit @s) (toi:ma a)
4513+++ toi |= [a=@rs] ^- (unit @s) (toi:ma a)
4521#### Examples
4516#### Examples
4524− > (toi:rs .-3.43e2)
4519+> (toi:rs .-3.43e2)
4525− [~ u=-343]
4520+[~ u=-343]
@@ -4545,14 +4540,14 @@ A `dn`.
4545#### Source
4540#### Source
4548− ++ drg |= [a=@rs] ^- dn (drg:ma a)
4543+++ drg |= [a=@rs] ^- dn (drg:ma a)
4551#### Examples
4546#### Examples
4554− > (drg:rs .-3.43e2)
4549+> (drg:rs .-3.43e2)
4555− [%d s=%.n e=--0 a=343]
4550+[%d s=%.n e=--0 a=343]
@@ -4574,15 +4569,14 @@ A `@rs`.
4574#### Source
4569#### Source
4577− ++ grd |= [a=dn] ^- @rs (grd:ma a)
4572+++ grd |= [a=dn] ^- @rs (grd:ma a)
4581#### Examples
4575#### Examples
4584− > (grd:rs [%d s=%.n e=--0 a=343])
4578+> (grd:rs [%d s=%.n e=--0 a=343])
4585− .-3.43e2
4579+.-3.43e2
@@ -4593,16 +4587,16 @@ Quadruple-precision fp
4594A container core for operations related to quadruple-precision binary floats.
4588A container core for operations related to quadruple-precision binary floats.
4596−`++rq` has four rounding modes: round to nearest (`$n`), round up (`$u`), round
4590+`++rq` has four rounding modes: round to nearest (`%n`), round up (`%u`), round
4597−down (`$d`), and round to zero (`$z`).
4591+down (`%d`), and round to zero (`%z`).
4599#### Source
4593#### Source
4603− ~% %rq +> ~
4597+ ~% %rq +> ~
4605− |_ r=$?($n $u $d $z)
4599+ |_ r=$?(%n %u %d %z)
4608### `++ma:rq`
4602### `++ma:rq`
@@ -4615,8 +4609,8 @@ configuration of the `rq` core.
4615#### Source
4609#### Source
4619− %*(. ff w 15, p 112, b --16.383, r r)
4613+ %*(. ff w 15, p 112, b --16.383, r r)
@@ -4638,15 +4632,15 @@ An `fn`.
4638#### Source
4632#### Source
4642− |= [a=@rq] (sea:ma a)
4636+ |= [a=@rq] (sea:ma a)
4645#### Examples
4639#### Examples
4648− > (sea:rq .~~~1.05102e5)
4642+> (sea:rq .~~~1.05102e5)
4649− [%f s=%.y e=-96 a=8.327.038.336.574.210.409.756.656.268.214.272]
4643+[%f s=%.y e=-96 a=8.327.038.336.574.210.409.756.656.268.214.272]
@@ -4668,15 +4662,15 @@ A `@rq`, a quad-precision float.
4668#### Source
4662#### Source
4672− |= [a=n] ^- @rq (bit:ma a)
4666+ |= [a=fn] ^- @rq (bit:ma a)
4675#### Examples
4669#### Examples
4678− > (bit:rq [%f s=%.y e=-96 a=8.327.038.336.574.210.409.756.656.268.214.272])
4672+> (bit:rq [%f s=%.y e=-96 a=8.327.038.336.574.210.409.756.656.268.214.272])
4679− .~~~1.05102e5
4673+.~~~1.05102e5
@@ -4700,17 +4694,17 @@ A `@rq`.
4700#### Source
4694#### Source
4703− ++ add ~/ %add
4697+++ add ~/ %add
4704− |= [a=@rq b=@rq] ^- @rq
4698+ |= [a=@rq b=@rq] ^- @rq
4705− ~_ leaf+"rq-fail"
4699+ ~_ leaf+"rq-fail"
4706− (add:ma a b)
4700+ (add:ma a b)
4709#### Examples
4703#### Examples
4712− > (add:rq .~~~-1.821e5 .~~~1.05102e5)
4706+> (add:rq .~~~-1.821e5 .~~~1.05102e5)
4713− .~~~-7.6998e4
4707+.~~~-7.6998e4
@@ -4734,20 +4728,20 @@ A `@rq`.
4734#### Source
4728#### Source
4737− ++ sub ~/ %sub
4731+++ sub ~/ %sub
4738− |= [a=@rq b=@rq] ^- @rq
4732+ |= [a=@rq b=@rq] ^- @rq
4739− ~_ leaf+"rq-fail"
4733+ ~_ leaf+"rq-fail"
4740− (sub:ma a b)
4734+ (sub:ma a b)
4743#### Examples
4737#### Examples
4746− > (sub:rq .~~~1.821e5 .~~~1.05102e5)
4740+> (sub:rq .~~~1.821e5 .~~~1.05102e5)
4747− .~~~7.6998e4
4741+.~~~7.6998e4
4749− > (sub:rq .~~~1.821e5 .~~~-1.05102e5)
4743+> (sub:rq .~~~1.821e5 .~~~-1.05102e5)
4750− .~~~2.87202e5
4744+.~~~2.87202e5
@@ -4771,17 +4765,17 @@ A `@rq`.
4771#### Source
4765#### Source
4774− ++ mul ~/ %mul
4768+++ mul ~/ %mul
4775− |= [a=@rq b=@rq] ^- @rq
4769+ |= [a=@rq b=@rq] ^- @rq
4776− ~_ leaf+"rq-fail"
4770+ ~_ leaf+"rq-fail"
4777− (mul:ma a b)
4771+ (mul:ma a b)
4780#### Examples
4774#### Examples
4783− > (mul:rq .~~~1.821e5 .~~~-1.05102e5)
4777+> (mul:rq .~~~1.821e5 .~~~-1.05102e5)
4784− .~~~-1.91390742e10
4778+.~~~-1.91390742e10
@@ -4805,17 +4799,17 @@ A `@rq`.
4805#### Source
4799#### Source
4808− ++ div ~/ %div
4802+++ div ~/ %div
4809− |= [a=@rq b=@rq] ^- @rq
4803+ |= [a=@rq b=@rq] ^- @rq
4810− ~_ leaf+"rq-fail"
4804+ ~_ leaf+"rq-fail"
4811− (div:ma a b)
4805+ (div:ma a b)
4814#### Examples
4808#### Examples
4817− > (div:rq .~~~1.821e5 .~~~1.05102e3)
4811+> (div:rq .~~~1.821e5 .~~~1.05102e3)
4818− .~~~1.732602614602957127361991208540275e2
4812+.~~~1.732602614602957127361991208540275e2
@@ -4842,17 +4836,17 @@ A `@rq`.
4842#### Source
4836#### Source
4845− ++ fma ~/ %fma
4839+++ fma ~/ %fma
4846− |= [a=@rq b=@rq c=@rq] ^- @rq
4840+ |= [a=@rq b=@rq c=@rq] ^- @rq
4847− ~_ leaf+"rq-fail"
4841+ ~_ leaf+"rq-fail"
4848− (fma:ma a b c)
4842+ (fma:ma a b c)
4851#### Examples
4845#### Examples
4854− > (fma:rq .~~~1.821e5 .~~~-1.05102e2 .~~~6.2044e7)
4848+> (fma:rq .~~~1.821e5 .~~~-1.05102e2 .~~~6.2044e7)
4855− .~~~4.29049258e7
4849+.~~~4.29049258e7
@@ -4874,17 +4868,17 @@ A `@rq`.
4874#### Source
4868#### Source
4877− ++ sqt ~/ %sqt
4871+++ sqt ~/ %sqt
4878− |= [a=@rq] ^- @rq
4872+ |= [a=@rq] ^- @rq
4879− ~_ leaf+"rq-fail"
4873+ ~_ leaf+"rq-fail"
4880− (sqt:ma a)
4874+ (sqt:ma a)
4883#### Examples
4877#### Examples
4886− > (sqt:rq .~~~6.2044e7)
4880+> (sqt:rq .~~~6.2044e7)
4887− .~~~7.876801381271461258959876570289002e3
4881+.~~~7.876801381271461258959876570289002e3
@@ -4908,20 +4902,20 @@ A `@rq`.
4908#### Source
4902#### Source
4911− ++ lth ~/ %lth
4905+++ lth ~/ %lth
4912− |= [a=@rq b=@rq]
4906+ |= [a=@rq b=@rq]
4913− ~_ leaf+"rq-fail"
4907+ ~_ leaf+"rq-fail"
4914− (lth:ma a b)
4908+ (lth:ma a b)
4917#### Examples
4911#### Examples
4920− > (lth:rq .~~~1.2044e7 (mul:rq .~~~9.02e2 .~~~7.114e3))
4914+> (lth:rq .~~~1.2044e7 (mul:rq .~~~9.02e2 .~~~7.114e3))
4923− > (lth:rq .~~~1.2044e7 (mul:rq .~~~9.02e3 .~~~7.114e3))
4917+> (lth:rq .~~~1.2044e7 (mul:rq .~~~9.02e3 .~~~7.114e3))
@@ -4945,23 +4939,23 @@ A `@rq`.
4945#### Source
4939#### Source
4948− ++ lte ~/ %lte
4942+++ lte ~/ %lte
4949− |= [a=@rq b=@rq]
4943+ |= [a=@rq b=@rq]
4950− ~_ leaf+"rq-fail"
4944+ ~_ leaf+"rq-fail"
4951− (lte:ma a b)
4945+ (lte:ma a b)
4954#### Examples
4948#### Examples
4957− > (lte:rq .~~~1.2044e7 (mul:rq .~~~9.02e2 .~~~7.114e3))
4951+> (lte:rq .~~~1.2044e7 (mul:rq .~~~9.02e2 .~~~7.114e3))
4960− > (lte:rq .~~~1.2044e7 (mul:rq .~~~9.02e3 .~~~7.114e3))
4954+> (lte:rq .~~~1.2044e7 (mul:rq .~~~9.02e3 .~~~7.114e3))
4963− > (lte:rq .~~~1.2044e7 .~~~1.2044e7)
4957+> (lte:rq .~~~1.2044e7 .~~~1.2044e7)
@@ -4985,20 +4979,20 @@ A `@rq`.
4985#### Source
4979#### Source
4988− ++ equ ~/ %equ
4982+++ equ ~/ %equ
4989− |= [a=@rq b=@rq]
4983+ |= [a=@rq b=@rq]
4990− ~_ leaf+"rq-fail"
4984+ ~_ leaf+"rq-fail"
4991− (equ:ma a b)
4985+ (equ:ma a b)
4994#### Examples
4988#### Examples
4997− > (equ:rq .~~~1.2044e7 .~~~1.2044e7)
4991+> (equ:rq .~~~1.2044e7 .~~~1.2044e7)
5000− > (equ:rq .~~~2.2044e7 .~~~1.2044e7)
4994+> (equ:rq .~~~2.2044e7 .~~~1.2044e7)
@@ -5022,23 +5016,23 @@ A `@rq`.
5022#### Source
5016#### Source
5025− ++ gte ~/ %gte
5019+++ gte ~/ %gte
5026− |= [a=@rq b=@rq]
5020+ |= [a=@rq b=@rq]
5027− ~_ leaf+"rq-fail"
5021+ ~_ leaf+"rq-fail"
5028− (gte:ma a b)
5022+ (gte:ma a b)
5031#### Examples
5025#### Examples
5034− > (gte:rq .~~~1.2044e7 .~~~1.2044e7)
5028+> (gte:rq .~~~1.2044e7 .~~~1.2044e7)
5037− > (gte:rq .~~~2.2044e7 .~~~1.2044e7)
5031+> (gte:rq .~~~2.2044e7 .~~~1.2044e7)
5040− > (gte:rq .~~~1.2044e7 .~~~2.2044e7)
5034+> (gte:rq .~~~1.2044e7 .~~~2.2044e7)
@@ -5060,23 +5054,23 @@ A `@rq`.
5060#### Source
5054#### Source
5063− ++ gth ~/ %gth
5057+++ gth ~/ %gth
5064− |= [a=@rq b=@rq]
5058+ |= [a=@rq b=@rq]
5065− ~_ leaf+"rq-fail"
5059+ ~_ leaf+"rq-fail"
5066− (gth:ma a b)
5060+ (gth:ma a b)
5069#### Examples
5063#### Examples
5072− > (gth:rq .~~~1.2044e7 .~~~1.2044e7)
5066+> (gth:rq .~~~1.2044e7 .~~~1.2044e7)
5075− > (gth:rq .~~~2.2044e7 .~~~1.2044e7)
5069+> (gth:rq .~~~2.2044e7 .~~~1.2044e7)
5078− > (gth:rq .~~~1.2044e7 .~~~2.2044e7)
5072+> (gth:rq .~~~1.2044e7 .~~~2.2044e7)
@@ -5098,14 +5092,14 @@ A `@rq`, a quad-precision float.
5098#### Source
5092#### Source
5101− ++ sun |= [a=@u] ^- @rq (sun:ma a)
5095+++ sun |= [a=@u] ^- @rq (sun:ma a)
5104#### Examples
5098#### Examples
5107− > (sun:rq 205)
5101+> (sun:rq 205)
5108− .~~~2.05e2
5102+.~~~2.05e2
@@ -5127,14 +5121,14 @@ A `@rq`, a quad-precision float.
5127#### Source
5121#### Source
5130− ++ san |= [a=@s] ^- @rq (san:ma a)
5124+++ san |= [a=@s] ^- @rq (san:ma a)
5133#### Examples
5127#### Examples
5136− > (san:rq -205)
5130+> (san:rq -205)
5137− .~~~-2.05e2
5131+.~~~-2.05e2
@@ -5156,14 +5150,14 @@ A `flag`.
5156#### Source
5150#### Source
5159− ++ sig |= [a=@rq] ^- ? (sig:ma a)
5153+++ sig |= [a=@rq] ^- ? (sig:ma a)
5162#### Examples
5156#### Examples
5165− > (sig:rq .~~~-2.05e2)
5159+> (sig:rq .~~~-2.05e2)
@@ -5185,14 +5179,14 @@ A `@s`, a signed integer.
5185#### Source
5179#### Source
5188− ++ exp |= [a=@rq] ^- @s (exp:ma a)
5182+++ exp |= [a=@rq] ^- @s (exp:ma a)
5191#### Examples
5185#### Examples
5194− > (exp:rq .~~~-2.05e2)
5188+> (exp:rq .~~~-2.05e2)
@@ -5214,17 +5208,17 @@ A `unit` of `@s`.
5214#### Source
5208#### Source
5217− ++ toi |= [a=@rq] ^- (unit @s) (toi:ma a)
5211+++ toi |= [a=@rq] ^- (unit @s) (toi:ma a)
5220#### Examples
5214#### Examples
5223− > (toi:rq .~~~-2.085e2)
5217+> (toi:rq .~~~-2.085e2)
5224− [~ u=-208]
5218+[~ u=-208]
5226− > (toi:rq .~~~-2.08e2)
5220+> (toi:rq .~~~-2.08e2)
5227− [~ u=-208]
5221+[~ u=-208]
@@ -5247,17 +5241,17 @@ A `dn`.
5247#### Source
5241#### Source
5250− ++ drg |= [a=@rq] ^- dn (drg:ma a) :: @rq to decimal float
5244+++ drg |= [a=@rq] ^- dn (drg:ma a)
5253#### Examples
5247#### Examples
5256− > (drg:rq .~~~-2.085e2)
5250+> (drg:rq .~~~-2.085e2)
5257− [%d s=%.n e=-1 a=2.085]
5251+[%d s=%.n e=-1 a=2.085]
5259− > (drg:rq .~~~-2.08e2)
5253+> (drg:rq .~~~-2.08e2)
5260− [%d s=%.n e=--0 a=208]
5254+[%d s=%.n e=--0 a=208]
@@ -5281,15 +5275,14 @@ A `@rq`, a quad-precision float.
5281#### Source
5275#### Source
5284− ++ grd |= [a=dn] ^- @rq (grd:ma a)
5278+++ grd |= [a=dn] ^- @rq (grd:ma a)
5288#### Examples
5281#### Examples
5291− > (grd:rq [%d s=%.n e=--0 a=343])
5284+> (grd:rq [%d s=%.n e=--0 a=343])
5292− .~~~-3.43e2
5285+.~~~-3.43e2
@@ -5300,16 +5293,16 @@ Half-precision fp
5301A container core for operations related to half-precision binary floats.
5294A container core for operations related to half-precision binary floats.
5303−`++rh` has four rounding modes: round to nearest (`$n`), round up (`$u`), round
5296+`++rh` has four rounding modes: round to nearest (`%n`), round up (`%u`), round
5304−down (`$d`), and round to zero (`$z`).
5297+down (`%d`), and round to zero (`%z`).
5306#### Source
5299#### Source
5310− ~% %rh +> ~
5303+ ~% %rh +> ~
5312− |_ r=$?($n $u $d $z)
5305+ |_ r=$?(%n %u %d %z)
@@ -5324,8 +5317,8 @@ configuration of the `rh` core.
5324#### Source
5317#### Source
5328− %*(. ff w 5, p 10, b --15, r r)
5321+ %*(. ff w 5, p 10, b --15, r r)
@@ -5347,15 +5340,15 @@ An `fn`.
5347#### Source
5340#### Source
5351− |= [a=@rh] (sea:ma a)
5344+ |= [a=@rh] (sea:ma a)
5354#### Examples
5347#### Examples
5357− > (sea:rh .~~1.22e-5)
5350+> (sea:rh .~~1.22e-5)
5358− [%f s=%.y e=-24 a=205]
5351+[%f s=%.y e=-24 a=205]
@@ -5377,15 +5370,15 @@ A `@rh`, a half-precision float.
5377#### Source
5370#### Source
5381− |= [a=fn] ^- @rh (bit:ma a)
5374+ |= [a=fn] ^- @rh (bit:ma a)
5384#### Examples
5377#### Examples
5387− > (bit:rh [%f s=%.y e=-24 a=205])
5380+> (bit:rh [%f s=%.y e=-24 a=205])
5388− .~~1.22e-5
5381+.~~1.22e-5
@@ -5407,17 +5400,17 @@ A `@rh`.
5407#### Source
5400#### Source
5410− ++ add ~/ %add
5403+++ add ~/ %add
5411− |= [a=@rh b=@rh] ^- @rh
5404+ |= [a=@rh b=@rh] ^- @rh
5412− ~_ leaf+"rh-fail"
5405+ ~_ leaf+"rh-fail"
5413− (add:ma a b)
5406+ (add:ma a b)
5416#### Examples
5409#### Examples
5419− > (add:rh .~~1.82e2 .~~1.02e2)
5412+> (add:rh .~~1.82e2 .~~1.02e2)
5420− .~~2.84e2
5413+.~~2.84e2
@@ -5441,20 +5434,20 @@ A `@rh`.
5441#### Source
5434#### Source
5444− ++ sub ~/ %sub
5437+++ sub ~/ %sub
5445− |= [a=@rh b=@rh] ^- @rh
5438+ |= [a=@rh b=@rh] ^- @rh
5446− ~_ leaf+"rh-fail"
5439+ ~_ leaf+"rh-fail"
5447− (sub:ma a b)
5440+ (sub:ma a b)
5450#### Examples
5443#### Examples
5453− > (sub:rh .~~1.821e2 .~~1.051e2)
5446+> (sub:rh .~~1.821e2 .~~1.051e2)
5454− .~~7.7e1
5447+.~~7.7e1
5456− > (sub:rh .~~1.821e2 .~~6.051e2)
5449+> (sub:rh .~~1.821e2 .~~6.051e2)
5457− .~~-4.228e2
5450+.~~-4.228e2
@@ -5478,17 +5471,17 @@ A `@rh`.
5478#### Source
5471#### Source
5481− ++ mul ~/ %mul
5474+++ mul ~/ %mul
5482− |= [a=@rh b=@rh] ^- @rh
5475+ |= [a=@rh b=@rh] ^- @rh
5483− ~_ leaf+"rh-fail"
5476+ ~_ leaf+"rh-fail"
5484− (mul:ma a b)
5477+ (mul:ma a b)
5487#### Examples
5480#### Examples
5490− > (mul:rh .~~1.821e1 .~~-1.05102e2)
5483+> (mul:rh .~~1.821e1 .~~-1.05102e2)
5491− .~~-1.913e3
5484+.~~-1.913e3
@@ -5512,17 +5505,17 @@ A `@rh`.
5512#### Source
5505#### Source
5515− ++ div ~/ %div
5508+++ div ~/ %div
5516− |= [a=@rh b=@rh] ^- @rh
5509+ |= [a=@rh b=@rh] ^- @rh
5517− ~_ leaf+"rh-fail"
5510+ ~_ leaf+"rh-fail"
5518− (div:ma a b)
5511+ (div:ma a b)
5521#### examples
5514#### examples
5524− > (div:rh .~~1.821e3 .~~1.05102e2)
5517+> (div:rh .~~1.821e3 .~~1.05102e2)
5525− .~~1.731e1
5518+.~~1.731e1
@@ -5549,17 +5542,17 @@ A `@rh`.
5549#### Source
5542#### Source
5552− ++ fma ~/ %fma
5545+++ fma ~/ %fma
5553− |= [a=@rh b=@rh c=@rh] ^- @rh
5546+ |= [a=@rh b=@rh c=@rh] ^- @rh
5554− ~_ leaf+"rh-fail"
5547+ ~_ leaf+"rh-fail"
5555− (fma:ma a b c)
5548+ (fma:ma a b c)
5558#### Examples
5551#### Examples
5561− > (fma:rh .~~1.821e4 .~~-1.05102e2 .~~6.2044e3)
5554+> (fma:rh .~~1.821e4 .~~-1.05102e2 .~~6.2044e3)
5562− .~~-6.55e4
5555+.~~-6.55e4
@@ -5581,17 +5574,17 @@ A `@rh`.
5581#### Source
5574#### Source
5584− ++ sqt ~/ %sqt
5577+++ sqt ~/ %sqt
5585− |= [a=@rh] ^- @rh
5578+ |= [a=@rh] ^- @rh
5586− ~_ leaf+"rh-fail"
5579+ ~_ leaf+"rh-fail"
5587− (sqt:ma a)
5580+ (sqt:ma a)
5590−#### Source
5583+#### Example
5593− > (sqt:rh .~~6.24e4)
5586+> (sqt:rh .~~6.24e4)
5594− .~~2.498e2
5587+.~~2.498e2
@@ -5615,20 +5608,20 @@ A `@rh`.
5615#### Source
5608#### Source
5618− ++ lth ~/ %lth
5611+++ lth ~/ %lth
5619− |= [a=@rh b=@rh]
5612+ |= [a=@rh b=@rh]
5620− ~_ leaf+"rh-fail"
5613+ ~_ leaf+"rh-fail"
5621− (lth:ma a b)
5614+ (lth:ma a b)
5624#### Examples
5617#### Examples
5627− > (lth:rh .~~1.2e5 (mul:rh .~~9.02e2 .~~7.114e2))
5620+> (lth:rh .~~1.2e5 (mul:rh .~~9.02e2 .~~7.114e2))
5630− > (lth:rh .~~1.2e3 (mul:rh .~~9.02e1 .~~7.114e2))
5623+> (lth:rh .~~1.2e3 (mul:rh .~~9.02e1 .~~7.114e2))
@@ -5652,23 +5645,23 @@ A `@rh`.
5652#### Source
5645#### Source
5655− ++ lte ~/ %lte
5648+++ lte ~/ %lte
5656− |= [a=@rh b=@rh]
5649+ |= [a=@rh b=@rh]
5657− ~_ leaf+"rh-fail"
5650+ ~_ leaf+"rh-fail"
5658− (lte:ma a b)
5651+ (lte:ma a b)
5661#### Examples
5654#### Examples
5664− > (lte:rh .~~1.2e5 (mul:rh .~~9.02e2 .~~7.114e2))
5657+> (lte:rh .~~1.2e5 (mul:rh .~~9.02e2 .~~7.114e2))
5667− > (lte:rh .~~1.2e3 (mul:rh .~~9.02e1 .~~7.114e2))
5660+> (lte:rh .~~1.2e3 (mul:rh .~~9.02e1 .~~7.114e2))
5670− > (lte:rh .~~1.2e3 .~~1.2e3)
5663+> (lte:rh .~~1.2e3 .~~1.2e3)
@@ -5692,20 +5685,20 @@ A `@rh`.
5692#### Source
5685#### Source
5695− ++ equ ~/ %equ
5688+++ equ ~/ %equ
5696− |= [a=@rh b=@rh]
5689+ |= [a=@rh b=@rh]
5697− ~_ leaf+"rh-fail"
5690+ ~_ leaf+"rh-fail"
5698− (equ:ma a b)
5691+ (equ:ma a b)
5701#### Examples
5694#### Examples
5704− > (equ:rh .~~1.24e4 .~~1.24e4)
5697+> (equ:rh .~~1.24e4 .~~1.24e4)
5707− > (equ:rh .~~2.24e4 .~~1.24e4)
5700+> (equ:rh .~~2.24e4 .~~1.24e4)
@@ -5729,23 +5722,23 @@ A `@rh`.
5729#### Source
5722#### Source
5732− ++ gte ~/ %gte
5725+++ gte ~/ %gte
5733− |= [a=@rh b=@rh]
5726+ |= [a=@rh b=@rh]
5734− ~_ leaf+"rh-fail"
5727+ ~_ leaf+"rh-fail"
5735− (gte:ma a b)
5728+ (gte:ma a b)
5738#### Examples
5731#### Examples
5741− > (gte:rh .~~1.24e4 .~~1.24e4)
5734+> (gte:rh .~~1.24e4 .~~1.24e4)
5744− > (gte:rh .~~2.24e4 .~~1.24e4)
5737+> (gte:rh .~~2.24e4 .~~1.24e4)
5747− > (gte:rh .~~1.24e4 .~~2.24e4)
5740+> (gte:rh .~~1.24e4 .~~2.24e4)
@@ -5767,23 +5760,23 @@ A `@rh`.
5767#### Source
5760#### Source
5770− ++ gth ~/ %gth
5763+++ gth ~/ %gth
5771− |= [a=@rh b=@rh]
5764+ |= [a=@rh b=@rh]
5772− ~_ leaf+"rh-fail"
5765+ ~_ leaf+"rh-fail"
5773− (gth:ma a b)
5766+ (gth:ma a b)
5776#### Examples
5769#### Examples
5779− > (gth:rh .~~1.24e4 .~~1.244e4)
5772+> (gth:rh .~~1.24e4 .~~1.244e4)
5782− > (gth:rh .~~2.24e4 .~~1.24e4)
5775+> (gth:rh .~~2.24e4 .~~1.24e4)
5785− > (gth:rh .~~1.24e4 .~~2.24e4)
5778+> (gth:rh .~~1.24e4 .~~2.24e4)
@@ -5805,14 +5798,15 @@ A `@rs`, a single-precision float.
5805#### Source
5798#### Source
5808− ++ tos |= {a/@rh} (bit:rs (sea a))
5802+ |= [a=@rh] (bit:rs (sea a))
5811#### Examples
5805#### Examples
5814− > (tos:rh .~~2.5e2)
5808+> (tos:rh .~~2.5e2)
@@ -5834,14 +5828,15 @@ A `@rh`, a half-precision float.
5834#### Source
5828#### Source
5837− ++ fos |= {a/@rs} (bit (sea:rs a))
5832+ |= [a=@rs] (bit (sea:rs a))
5840#### Examples
5835#### Examples
5843− > (fos:rh .2.5e2)
5838+> (fos:rh .2.5e2)
5844− .~~2.5e2
5839+.~~2.5e2
@@ -5863,14 +5858,14 @@ A `@rh`, a half-precision float.
5863#### Source
5858#### Source
5866− ++ sun |= [a=@u] ^- @rh (sun:ma a)
5861+++ sun |= [a=@u] ^- @rh (sun:ma a)
5869#### Examples
5864#### Examples
5872− > (sun:rh 205)
5867+> (sun:rh 205)
5873− .~~2.05e2
5868+.~~2.05e2
@@ -5892,14 +5887,14 @@ A `@rh`, a half-precision float.
5892#### Source
5887#### Source
5895− ++ san |= [a=@s] ^- @rh (san:ma a)
5890+++ san |= [a=@s] ^- @rh (san:ma a)
5898#### Examples
5893#### Examples
5901− > (san:rh -205)
5896+> (san:rh -205)
5902− .~~-2.05e2
5897+.~~-2.05e2
@@ -5921,14 +5916,14 @@ A `flag`.
5921#### Source
5916#### Source
5924− ++ sig |= [a=@rh] ^- ? (sig:ma a)
5919+++ sig |= [a=@rh] ^- ? (sig:ma a)
5927#### Examples
5922#### Examples
5930− > (sig:rh .~~-2.05e2)
5925+> (sig:rh .~~-2.05e2)
@@ -5950,14 +5945,14 @@ A `@s`, a signed integer.
5950#### Source
5945#### Source
5953− ++ exp |= [a=@rh] ^- @s (exp:ma a)
5948+++ exp |= [a=@rh] ^- @s (exp:ma a)
5956#### Examples
5951#### Examples
5959− > (exp:rh .~~-2.05e2)
5954+> (exp:rh .~~-2.05e2)
@@ -5979,17 +5974,17 @@ A `unit` of `@s`.
5979#### Source
5974#### Source
5982− ++ toi |= [a=@rh] ^- (unit @s) (toi:ma a)
5977+++ toi |= [a=@rh] ^- (unit @s) (toi:ma a)
5985#### Examples
5980#### Examples
5988− > (toi:rh .~~-2.085e2)
5983+> (toi:rh .~~-2.085e2)
5989− [~ u=-208]
5984+[~ u=-208]
5991− > (toi:rh .~~-2.08e2)
5986+> (toi:rh .~~-2.08e2)
5992− [~ u=-208]
5987+[~ u=-208]
@@ -6012,17 +6007,17 @@ A `dn`.
6012#### Source
6007#### Source
6015− ++ drg |= [a=@rh] ^- dn (drg:ma a)
6010+++ drg |= [a=@rh] ^- dn (drg:ma a)
6018#### Examples
6013#### Examples
6021− > (drg:rh .~~-2.085e2)
6016+> (drg:rh .~~-2.085e2)
6022− [%d s=%.n e=-1 a=2.085]
6017+[%d s=%.n e=-1 a=2.085]
6024− > (drg:rh .~~-2.08e2)
6019+> (drg:rh .~~-2.08e2)
6025− [%d s=%.n e=--0 a=208]
6020+[%d s=%.n e=--0 a=208]
@@ -6046,15 +6041,14 @@ A `@rh`, a a half-precision float.
6046#### Source
6041#### Source
6049− ++ grd |= [a=dn] ^- @rh (grd:ma a)
6044+++ grd |= [a=dn] ^- @rh (grd:ma a)
6053#### Examples
6047#### Examples
6056− > (grd:rh [%d s=%.n e=--0 a=343])
6050+> (grd:rh [%d s=%.n e=--0 a=343])
6057− .~~-3.43e2
6051+.~~-3.43e2