@@ -11,37 +11,37 @@ Float
1111A mold for the floating-point arithmetic using the base of two, the formula is
1212`(-1)^s * a * 2^e`.
1313
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
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
1616exponent, a signed decimal; and `a` to the significand, an unsigned integer.
1717
1818#### Source
1919
2020```hoon
21− ++ fn
22− $% [$f s=? e=@s a=@u]
23− [$i s=?]
24− [$n ~]
25− ==
21+++ fn
22+ $% [%f s=? e=@s a=@u]
23+ [%i s=?]
24+ [%n ~]
25+ ==
2626```
2727
2828#### Examples
2929
3030```
31− > *fn
32− [%n ~]
31+> *fn
32+[%n ~]
3333
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]
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]
3636
37− > (add:fl [%i &] [%i &])
38− [%i s=%.y]
37+> (add:fl [%i &] [%i &])
38+[%i s=%.y]
3939
40− > (add:fl [%n ~] [%i |])
41− [%n ~]
40+> (add:fl [%n ~] [%i |])
41+[%n ~]
4242
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]
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]
4545```
4646
4747---
@@ -53,29 +53,29 @@ Decimal float
5353A mold for the floating-point arithmetic using the base of 10; the formula is
5454`(-1)^s * a *10^e`.
5555
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`).
5757`s` refers to sign, the `flag`s `&` or `|`; `e` to exponent, a signed decimal;
5858and `a` to the significand, an unsigned integer.
5959
6060```hoon
61− ++ dn
62− $% [$d s=? e=@s a=@u]
63− [$i s=?]
64− [$n ~]
65− ==
61+++ dn
62+ $% [%d s=? e=@s a=@u]
63+ [%i s=?]
64+ [%n ~]
65+ ==
6666```
6767
6868#### Examples
6969
7070```
71− > `dn`[%d & --0 17.163.091.968]
72− [%d s=%.y e=--0 a=17.163.091.968]
71+> `dn`[%d & --0 17.163.091.968]
72+[%d s=%.y e=--0 a=17.163.091.968]
7373
74− > `dn`[%i s=%.y]
75− [%i s=%.y]
74+> `dn`[%i s=%.y]
75+[%i s=%.y]
7676
77− > `dn`[%n ~]
78− [%n ~]
77+> `dn`[%n ~]
78+[%n ~]
7979```
8080
8181---
@@ -87,23 +87,24 @@ Parsed decimal float
8787A mold for the floating-point arithmetic using the base of 10; the formula is
8888`(-1)^s * a *10^e`.
8989
90−Produces either a parsed float (`$d`), infinity of either sign (`$i`), or
91−not-a-number (`$n`).
90+Produces either a parsed float (`%d`), infinity of either sign (`%i`), or
91+not-a-number (`%n`).
9292
9393#### Source
9494
9595```hoon
96− $% [$d a=? b=[c=@ [d=@ e=@] f=? i=@]]
97− [$i a=?]
98− [$n ~]
99− ==
96+++ rn
97+ $% [%d a=? b=[c=@ [d=@ e=@] f=? i=@]]
98+ [%i a=?]
99+ [%n ~]
100+ ==
100101```
101102
102103#### Examples
103104
104105```
105− > `rn`[%d | [2 [3 4] | 17.163]]
106− [%d a=%.n b=[c=2 [d=3 e=4] f=%.n i=17.163]]
106+> `rn`[%d | [2 [3 4] | 17.163]]
107+[%d a=%.n b=[c=2 [d=3 e=4] f=%.n i=17.163]]
107108```
108109
109110---
@@ -119,25 +120,25 @@ Container arm for floating-point arithmetic functions.
119120- Minimum exponent (`v`): minimum value of e. Default is -16.494.
120121- Width (`w`): Max value of `e` minus min value of `e`. 0 is for fixed-point.
121122 Default is 32.765.
122−- 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−- Behavior (`d`): return denormals (`$d`), flush denormals to zero (`$z`),
125− infinite exponent range (`$i`). Default value is `%d`.
123+- Rounding mode (`r`): Possible modes are nearest (`%n`), up (`%u`),
124+ down (`%d`), to zero (`%z`), and away from zero (`%a`). Default value is `%n`.
125+- Behavior (`d`): return denormals (`%d`), flush denormals to zero (`%z`),
126+ infinite exponent range (`%i`). Default value is `%d`.
126127
127128#### Source
128129
129130```hoon
130− ++ fl
131− =+ ^- [[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− =>
134− ~% %cofl +> ~
135− |%
131+++ fl
132+ =/ [[p=@u v=@s w=@u] r=$?(%n %u %d %z %a) d=$?(%d %f %i)]
133+ [[113 -16.494 32.765] %n %d]
134+ =>
135+ ~% %cofl +> ~
136+ |%
136137```
137138
138139---
139140
140−### `++rou:fl`
141+### `^rou:fl`
141142
142143Round
143144
@@ -156,25 +157,25 @@ An `fn`.
156157#### Source
157158
158159```hoon
159− ++ rou
160− |= [a=[e=@s a=@u]] ^- fn (rau a &)
160+++ rou
161+ |= [a=[e=@s a=@u]] ^- fn (rau a &)
161162```
162163
163164#### Examples
164165
165166```
166− > =a 10.161.487.211.429.486.882.397.572.894.294.017.777
167− > (^rou:fl [--12 a])
168− [%f s=%.y e=--22 a=9.923.327.354.911.608.283.591.379.779.584.002]
167+> =a 10.161.487.211.429.486.882.397.572.894.294.017.777
168+> (^rou:fl [--12 a])
169+[%f s=%.y e=--22 a=9.923.327.354.911.608.283.591.379.779.584.002]
169170
170− > (^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]
171+> (^rou:fl [--12 (add a 1)])
172+[%f s=%.y e=--22 a=9.923.327.354.911.608.283.591.379.779.584.002]
172173
173− > (^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]
174+> (^rou:fl [--12 (add a 300)])
175+[%f s=%.y e=--22 a=9.923.327.354.911.608.283.591.379.779.584.002]
175176
176− > (^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]
177+> (^rou:fl [--12 (add a 1.000)])
178+[%f s=%.y e=--22 a=9.923.327.354.911.608.283.591.379.779.584.003]
178179```
179180
180181---
@@ -200,29 +201,29 @@ An `fn`.
200201#### Source
201202
202203```hoon
203− ++ rau
204− |= [a=[e=@s a=@u] t=?] ^- fn
205− ?- r
206− $z (lug %fl a t) $d (lug %fl a t)
207− $a (lug %ce a t) $u (lug %ce a t)
208− $n (lug %ne a t)
209− ==
204+++ rau
205+ |= [a=[e=@s a=@u] t=?] ^- fn
206+ ?- r
207+ %z (lug %fl a t) %d (lug %fl a t)
208+ %a (lug %ce a t) %u (lug %ce a t)
209+ %n (lug %ne a t)
210+ ==
210211```
211212
212213#### Examples
213214
214215```
215− > (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]
216+> (rau:fl [-18 342.602.577] &)
217+[%f s=%.y e=-102 a=6.626.897.619.228.945.634.459.505.846.648.832]
217218```
218219
219220#### Discussion
220221
221−See `lug:fl` for possible rounding operations.
222+See [`lug:fl`](#lugfl) for possible rounding operations.
222223
223224---
224225
225−### `++add:fl`
226+### `^add:fl`
226227
227228Add
228229
@@ -247,38 +248,38 @@ An `fn`.
247248#### Source
248249
249250```hoon
250− ++ add
251− |= [a=[e=@s a=@u] b=[e=@s a=@u] e=?] ^- fn
252− =+ q=(dif:si e.a e.b)
253− |- ?. (syn:si q) $(b a, a b, q +(q)) :: a has larger exp
254− ?: e
255− [%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− =+ ^= w %+ dif:si e.a %- sun:si :: expanded exp of a
258− ?: (gth prc ma) (^sub prc ma) 0
259− =+ ^= x %+ sum:si e.b (sun:si mb) :: highest exp for b
260− ?: =((cmp:si w x) --1) :: don't need to add
261− ?- r
262− $z (lug %fl a &) $d (lug %fl a &)
263− $a (lug %lg a &) $u (lug %lg a &)
264− $n (lug %na a &)
265− ==
266− (rou [e.b (^add (lsh 0 (abs:si q) a.a) a.b)])
251+++ add
252+ |= [a=[e=@s a=@u] b=[e=@s a=@u] e=?] ^- fn
253+ =+ q=(dif:si e.a e.b)
254+ |- ?. (syn:si q) $(b a, a b, q +(q))
255+ ?: e
256+ [%f & e.b (^add (lsh [0 (abs:si q)] a.a) a.b)]
257+ =+ [ma=(met 0 a.a) mb=(met 0 a.b)]
258+ =+ ^= w %+ dif:si e.a %- sun:si
259+ ?: (gth prc ma) (^sub prc ma) 0
260+ =+ ^= x %+ sum:si e.b (sun:si mb)
261+ ?: =((cmp:si w x) --1)
262+ ?- r
263+ %z (lug %fl a &) %d (lug %fl a &)
264+ %a (lug %lg a &) %u (lug %lg a &)
265+ %n (lug %na a &)
266+ ==
267+ (rou [e.b (^add (lsh [0 (abs:si q)] a.a) a.b)])
267268```
268269
269270#### Examples
270271
271272```
272− > (^add:fl [--33 2.718] [--23 11] %.y)
273− [%f s=%.y e=--23 a=2.783.243]
273+> (^add:fl [--33 2.718] [--23 11] %.y)
274+[%f s=%.y e=--23 a=2.783.243]
274275
275− > (^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]
276+> (^add:fl [--33 2.718] [--23 11] %.n)
277+[%f s=%.y e=-68 a=6.890.975.897.521.519.304.902.126.405.156.864]
277278```
278279
279280---
280281
281−### `++sub:fl`
282+### `^sub:fl`
282283
283284Subtract
284285
@@ -300,42 +301,42 @@ An `fn`.
300301#### Source
301302
302303```hoon
303− ++ sub
304− |= [a=[e=@s a=@u] b=[e=@s a=@u] e=?] ^- fn
305− =+ q=(dif:si e.a e.b)
306− |- ?. (syn:si q)
307− (fli $(b a, a b, q +(q), r swr))
308− =+ [ma=(met 0 a.a) mb=(met 0 a.b)]
309− =+ ^= w %+ dif:si e.a %- sun:si
310− ?: (gth prc ma) (^sub prc ma) 0
311− =+ ^= x %+ sum:si e.b (sun:si +(mb))
312− ?: &(!e =((cmp:si w x) --1))
313− ?- r
314− $z (lug %sm a &) $d (lug %sm a &)
315− $a (lug %ce a &) $u (lug %ce a &)
316− $n (lug %nt a &)
317− ==
318− =+ j=(lsh 0 (abs:si q) a.a)
319− |- ?. (gte j a.b)
320− (fli $(a.b j, j a.b, r swr))
321− =+ i=(^sub j a.b)
322− ?~ i [%f & zer]
323− ?: e [%f & e.b i] (rou [e.b i])
304+++ sub
305+ |= [a=[e=@s a=@u] b=[e=@s a=@u] e=?] ^- fn
306+ =+ q=(dif:si e.a e.b)
307+ |- ?. (syn:si q)
308+ (fli $(b a, a b, q +(q), r swr))
309+ =+ [ma=(met 0 a.a) mb=(met 0 a.b)]
310+ =+ ^= w %+ dif:si e.a %- sun:si
311+ ?: (gth prc ma) (^sub prc ma) 0
312+ =+ ^= x %+ sum:si e.b (sun:si +(mb))
313+ ?: &(!e =((cmp:si w x) --1))
314+ ?- r
315+ %z (lug %sm a &) %d (lug %sm a &)
316+ %a (lug %ce a &) %u (lug %ce a &)
317+ %n (lug %nt a &)
318+ ==
319+ =+ j=(lsh [0 (abs:si q)] a.a)
320+ |- ?. (gte j a.b)
321+ (fli $(a.b j, j a.b, r swr))
322+ =+ i=(^sub j a.b)
323+ ?~ i [%f & zer]
324+ ?: e [%f & e.b i] (rou [e.b i])
324325```
325326
326327#### Examples
327328
328329```
329− > (^sub:fl [--33 2.718] [--23 11] %.y)
330− [%f s=%.y e=--23 a=2.783.221]
330+> (^sub:fl [--33 2.718] [--23 11] %.y)
331+[%f s=%.y e=--23 a=2.783.221]
331332
332− > (^sub:fl [--33 2.718] [--63 11] %.y)
333− [%f s=%.n e=--33 a=11.811.157.346]
333+> (^sub:fl [--33 2.718] [--63 11] %.y)
334+[%f s=%.n e=--33 a=11.811.157.346]
334335```
335336
336337---
337338
338−### `++mul:fl`
339+### `^mul:fl`
339340
340341Multiply
341342
@@ -355,21 +356,21 @@ An `fn`.
355356#### Source
356357
357358```hoon
358− ++ mul
359− |= [a=[e=@s a=@u] b=[e=@s a=@u]] ^- fn
360− (rou (sum:si e.a e.b) (^mul a.a a.b))
359+++ mul
360+ |= [a=[e=@s a=@u] b=[e=@s a=@u]] ^- fn
361+ (rou (sum:si e.a e.b) (^mul a.a a.b))
361362```
362363
363364#### Examples
364365
365366```
366− > (^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]
367+> (^mul:fl [--3 2.718] [--23 11])
368+[%f s=%.y e=-72 a=9.475.054.411.405.900.661.487.108.108.582.912]
368369```
369370
370371---
371372
372−### `++div:fl`
373+### `^div:fl`
373374
374375Divide
375376
@@ -389,26 +390,26 @@ An `fn`.
389390#### Source
390391
391392```hoon
392− ++ div
393− |= [a=[e=@s a=@u] b=[e=@s a=@u]] ^- fn
394− =+ [ma=(met 0 a.a) mb=(met 0 a.b)]
395− =+ v=(dif:si (sun:si ma) (sun:si +((^add mb prc))))
396− =. a ?: (syn:si v) a
397− 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− (rau [j p.q] =(q.q 0))
393+++ div
394+ |= [a=[e=@s a=@u] b=[e=@s a=@u]] ^- fn
395+ =+ [ma=(met 0 a.a) mb=(met 0 a.b)]
396+ =+ v=(dif:si (sun:si ma) (sun:si +((^add mb prc))))
397+ =. a ?: (syn:si v) a
398+ a(e (sum:si v e.a), a (lsh [0 (abs:si v)] a.a))
399+ =+ [j=(dif:si e.a e.b) q=(dvr a.a a.b)]
400+ (rau [j p.q] =(q.q 0))
400401```
401402
402403#### Examples
403404
404405```
405− > (^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]
406+> (^div:fl [--13 2.718] [--23 11])
407+[%f s=%.y e=-115 a=10.023.198.055.040.952.765.870.659.817.343.907]
407408```
408409
409410---
410411
411−### `++sqt:fl`
412+### `^sqt:fl`
412413
413414Square root
414415
@@ -425,28 +426,28 @@ An `fn`.
425426#### Source
426427
427428```hoon
428− ++ sqt
429− |= [a=[e=@s a=@u]] ^- fn
430− =. a
431− =+ [w=(met 0 a.a) x=(^mul +(prc) 2)]
432− =+ ?:((^lth w x) (^sub x w) 0)
433− =+ ?: =((dis - 1) (dis (abs:si e.a) 1)) -
434− (^add - 1)
435− 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− (rau [z p.y] =(q.y 0))
429+++ sqt
430+ |= [a=[e=@s a=@u]] ^- fn
431+ =. a
432+ =+ [w=(met 0 a.a) x=(^mul +(prc) 2)]
433+ =+ ?:((^lth w x) (^sub x w) 0)
434+ =+ ?: =((dis - 1) (dis (abs:si e.a) 1)) -
435+ (^add - 1)
436+ a(e (dif:si e.a (sun:si -)), a (lsh [0 -] a.a))
437+ =+ [y=(^sqt a.a) z=(fra:si e.a --2)]
438+ (rau [z p.y] =(q.y 0))
438439```
439440
440441#### Examples
441442
442443```
443− > (^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]
444+> (^sqt:fl [-18 342.602.577])
445+[%f s=%.y e=-107 a=5.865.903.143.604.945.574.132.671.852.050.553]
445446```
446447
447448---
448449
449−### `++lth:fl`
450+### `^lth:fl`
450451
451452Less than
452453
@@ -465,29 +466,29 @@ An `flag`.
465466#### Source
466467
467468```hoon
468− ++ lth
469− |= [a=[e=@s a=@u] b=[e=@s a=@u]] ^- ?
470− ?: =(e.a e.b) (^lth a.a a.b)
471− =+ c=(cmp:si (ibl a) (ibl b))
472− ?: =(c -1) & ?: =(c --1) |
473− ?: =((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 (lsh 0 (abs:si (dif:si e.a e.b)) a.a) a.b)
469+++ lth
470+ |= [a=[e=@s a=@u] b=[e=@s a=@u]] ^- ?
471+ ?: =(e.a e.b) (^lth a.a a.b)
472+ =+ c=(cmp:si (ibl a) (ibl b))
473+ ?: =(c -1) & ?: =(c --1) |
474+ ?: =((cmp:si e.a e.b) -1)
475+ (^lth (rsh [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)
476477```
477478
478479#### Examples
479480
480481```
481− > (^lth:fl [-4 684] [--0 35])
482− %.n
482+> (^lth:fl [-4 684] [--0 35])
483+%.n
483484
484− > (^lth:fl [-4 684] [--0 90])
485− %.y
485+> (^lth:fl [-4 684] [--0 90])
486+%.y
486487```
487488
488489---
489490
490−### `++equ:fl`
491+### `^equ:fl`
491492
492493Equals
493494
@@ -506,22 +507,22 @@ A `flag`.
506507#### Source
507508
508509```hoon
509− ++ equ
510− |= [a=[e=@s a=@u] b=[e=@s a=@u]] ^- ?
511− ?. =((ibl a) (ibl b)) |
512− ?: =((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.a) a.b)
510+++ equ
511+ |= [a=[e=@s a=@u] b=[e=@s a=@u]] ^- ?
512+ ?. =((ibl a) (ibl b)) |
513+ ?: =((cmp:si e.a e.b) -1)
514+ =((lsh [0 (abs:si (dif:si e.a e.b))] a.b) a.a)
515+ =((lsh [0 (abs:si (dif:si e.a e.b))] a.a) a.b)
515516```
516517
517518#### Examples
518519
519520```
520− > (^equ:fl [-4 480] [-0 50])
521− %.n
521+> (^equ:fl [-4 480] [-0 50])
522+%.n
522523
523− > (^equ:fl [-4 480] [-0 30])
524− %.y
524+> (^equ:fl [-4 480] [-0 30])
525+%.y
525526```
526527
527528---
@@ -544,16 +545,16 @@ A signed integer.
544545#### Source
545546
546547```hoon
547− ++ ibl
548− |= [a=[e=@s a=@u]] ^- @s
549− (sum:si (sun:si (dec (met 0 a.a))) e.a)
548+++ ibl
549+ |= [a=[e=@s a=@u]] ^- @s
550+ (sum:si (sun:si (dec (met 0 a.a))) e.a)
550551```
551552
552553#### Examples
553554
554555```
555− > (ibl:fl [-18 342.602.577])
556− --10
556+> (ibl:fl [-18 342.602.577])
557+--10
557558```
558559
559560---
@@ -577,20 +578,20 @@ A cell of a signed integer and an unsigned integer.
577578#### Source
578579
579580```hoon
580− ++ uni
581− |= [a=[e=@s a=@u]]
582− |- ?: =((end 0 1 a.a) 1) a
583− $(a.a (rsh 0 1 a.a), e.a (sum:si e.a --1))
581+++ uni
582+ |= [a=[e=@s a=@u]]
583+ |- ?: =((end 0 a.a) 1) a
584+ $(a.a (rsh 0 a.a), e.a (sum:si e.a --1))
584585```
585586
586587#### Examples
587588
588589```
589− > (uni:fl [-8 342.602.578])
590− [e=-7 a=171.301.289]
590+> (uni:fl [-8 342.602.578])
591+[e=-7 a=171.301.289]
591592
592− > (uni:fl [-8 342.602.577])
593− [e=-8 a=342.602.577]
593+> (uni:fl [-8 342.602.577])
594+[e=-8 a=342.602.577]
594595```
595596
596597---
@@ -612,29 +613,29 @@ A cell of a signed integer and an unsigned integer.
612613#### Sources
613614
614615```hoon
615− ++ xpd
616− |= [a=[e=@s a=@u]]
617− =+ ma=(met 0 a.a)
618− ?: (gte ma prc) a
619− =+ ?: =(den %i) (^sub prc ma)
620− =+ ^= q
621− =+ w=(dif:si e.a emn)
622− ?: (syn:si w) (abs:si w) 0
623− (min q (^sub prc ma))
624− a(e (dif:si e.a (sun:si -)), a (lsh 0 - a.a))
616+++ xpd
617+ |= [a=[e=@s a=@u]]
618+ =+ ma=(met 0 a.a)
619+ ?: (gte ma prc) a
620+ =+ ?: =(den %i) (^sub prc ma)
621+ =+ ^= q
622+ =+ w=(dif:si e.a emn)
623+ ?: (syn:si w) (abs:si w) 0
624+ (min q (^sub prc ma))
625+ a(e (dif:si e.a (sun:si -)), a (lsh [0 -] a.a))
625626```
626627
627628#### Examples
628629
629630```
630− > (xpd:fl [--3 12])
631− [e=-106 a=7.788.445.287.802.241.442.795.744.493.830.144]
631+> (xpd:fl [--3 12])
632+[e=-106 a=7.788.445.287.802.241.442.795.744.493.830.144]
632633
633− > (xpd:fl [-8 342.602.577])
634− [e=-92 a=6.626.897.619.228.945.634.459.505.846.648.832]
634+> (xpd:fl [-8 342.602.577])
635+[e=-92 a=6.626.897.619.228.945.634.459.505.846.648.832]
635636
636− > (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]
637+> (xpd:fl [-92 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]
638639```
639640
640641---
@@ -649,16 +650,16 @@ ULP(a) = 2^(e.a)
649650
650651Possible rounding operations:
651652
652−- Floor (`$fl`)
653−- Ceiling (`$ce`)
654−- Smaller (`$sm`)
655−- Larger (`$lg`)
656−- Nearest (`$ne`) -- Rounds ties away from 0 if the number is even, rounds
653+- Floor (`%fl`)
654+- Ceiling (`%ce`)
655+- Smaller (`%sm`)
656+- Larger (`%lg`)
657+- Nearest (`%ne`) -- Rounds ties away from 0 if the number is even, rounds
657658 toward 0 if the number is odd.
658659
659660#### Accepts
660661
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`.
662663
663664`a` is a cell of a signed integer and an unsigned integer.
664665
@@ -671,82 +672,75 @@ An `fn`.
671672#### Source
672673
673674```hoon
674− ::
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)
679− ::
680− ++ lug
681− ~/ %lug
682− |= [t=$?($fl $ce $sm $lg $ne $na $nt) a=[e=@s a=@u] s=?] ^- fn
683− ?< =(a.a 0)
684− =-
685− ?. =(den %f) - :: flush denormals
686− ?. ?=([$f *] -) -
687− ?: =((met 0 ->+>) prc) - [%f & zer]
688− ::
689− =+ m=(met 0 a.a)
690− ?> |(s (gth m prc)) :: require precision
691− =+ ^= q %+ max
692− ?: (gth m prc) (^sub m prc) 0 :: reduce precision
693− %- abs:si ?: =(den %i) --0 :: enforce min. exp
694− ?: =((cmp:si e.a emn) -1) (dif:si emn e.a) --0
695− =^ b a :- (end 0 q a.a)
696− a(e (sum:si e.a (sun:si q)), a (rsh 0 q a.a))
697− ::
698− ?~ a.a
699− ?< =(den %i)
700− ?- t
701− $fl [%f & zer]
702− $sm [%f & zer]
703− $ce [%f & spd]
704− $lg [%f & spd]
705− $ne ?: s [%f & ?:((lte b (bex (dec q))) zer spd)]
706− [%f & ?:((^lth b (bex (dec q))) zer spd)]
707− $nt ?: s [%f & ?:((lte b (bex (dec q))) zer spd)]
708− [%f & ?:((^lth b (bex (dec q))) zer spd)]
709− $na [%f & ?:((^lth b (bex (dec q))) zer spd)]
710− ==
711− ::
712− =. a (xpd a)
713− ::
714− =. a
715− ?- t
716− $fl a
717− $lg a(a +(a.a))
718− $sm ?. &(=(b 0) s) a
719− ?: &(=(e.a emn) !=(den %i)) a(a (dec a.a))
720− =+ y=(dec (^mul a.a 2))
721− ?. (lte (met 0 y) prc) a(a (dec a.a))
722− [(dif:si e.a --1) y]
723− $ce ?: &(=(b 0) s) a a(a +(a.a))
724− $ne ?~ b a
725− =+ y=(bex (dec q))
726− ?: &(=(b y) s) :: round halfs to even
727− ?~ (dis a.a 1) a a(a +(a.a))
728− ?: (^lth b y) a a(a +(a.a))
729− $na ?~ b a
730− =+ y=(bex (dec q))
731− ?: (^lth b y) a a(a +(a.a))
732− $nt ?~ b a
733− =+ y=(bex (dec q))
734− ?: =(b y) ?: s a a(a +(a.a))
735− ?: (^lth b y) a a(a +(a.a))
736− ==
737− ::
738− =. a ?. =((met 0 a.a) +(prc)) a
739− a(a (rsh 0 1 a.a), e (sum:si e.a --1))
740− ?~ a.a [%f & zer]
741− ::
742− ?: =(den %i) [%f & a]
743− ?: =((cmp:si emx e.a) -1) [%i &] [%f & a] :: enforce max. exp
744− ::
675+++ lug
676+ ~/ %lug
677+ |= [t=$?(%fl %ce %sm %lg %ne %na %nt) a=[e=@s a=@u] s=?] ^- fn
678+ ?< =(a.a 0)
679+ =-
680+ ?. =(den %f) - :: flush denormals
681+ ?. ?=([%f *] -) -
682+ ?: =((met 0 ->+>) prc) - [%f & zer]
683+ ::
684+ =+ m=(met 0 a.a)
685+ ?> |(s (gth m prc)) :: require precision
686+ =+ ^= q %+ max
687+ ?: (gth m prc) (^sub m prc) 0 :: reduce precision
688+ %- abs:si ?: =(den %i) --0 :: enforce min. exp
689+ ?: =((cmp:si e.a emn) -1) (dif:si emn e.a) --0
690+ =^ b a :- (end [0 q] a.a)
691+ a(e (sum:si e.a (sun:si q)), a (rsh [0 q] a.a))
692+ ::
693+ ?~ a.a
694+ ?< =(den %i)
695+ ?- t
696+ %fl [%f & zer]
697+ %sm [%f & zer]
698+ %ce [%f & spd]
699+ %lg [%f & spd]
700+ %ne ?: s [%f & ?:((lte b (bex (dec q))) zer spd)]
701+ [%f & ?:((^lth b (bex (dec q))) zer spd)]
702+ %nt ?: s [%f & ?:((lte b (bex (dec q))) zer spd)]
703+ [%f & ?:((^lth b (bex (dec q))) zer spd)]
704+ %na [%f & ?:((^lth b (bex (dec q))) zer spd)]
705+ ==
706+ ::
707+ =. a (xpd a)
708+ ::
709+ =. a
710+ ?- t
711+ %fl a
712+ %lg a(a +(a.a))
713+ %sm ?. &(=(b 0) s) a
714+ ?: &(=(e.a emn) !=(den %i)) a(a (dec a.a))
715+ =+ y=(dec (^mul a.a 2))
716+ ?. (lte (met 0 y) prc) a(a (dec a.a))
717+ [(dif:si e.a --1) y]
718+ %ce ?: &(=(b 0) s) a a(a +(a.a))
719+ %ne ?~ b a
720+ =+ y=(bex (dec q))
721+ ?: &(=(b y) s) :: round halfs to even
722+ ?~ (dis a.a 1) a a(a +(a.a))
723+ ?: (^lth b y) a a(a +(a.a))
724+ %na ?~ b a
725+ =+ y=(bex (dec q))
726+ ?: (^lth b y) a a(a +(a.a))
727+ %nt ?~ b a
728+ =+ y=(bex (dec q))
729+ ?: =(b y) ?: s a a(a +(a.a))
730+ ?: (^lth b y) a a(a +(a.a))
731+ ==
732+ ::
733+ =. a ?. =((met 0 a.a) +(prc)) a
734+ a(a (rsh 0 a.a), e (sum:si e.a --1))
735+ ?~ a.a [%f & zer]
736+ ::
737+ ?: =(den %i) [%f & a]
738+ ?: =((cmp:si emx e.a) -1) [%i &] [%f & a] :: enforce max. exp
745739```
746740
747741---
748742
749−### `++drg:fl`
743+### `^drg:fl`
750744
751745Get printable decimal
752746
@@ -764,74 +758,74 @@ A cell of a signed integer and an unsigned integer.
764758#### Source
765759
766760```hoon
767− ++ drg
768− ~/ %drg
769− |= [a=[e=@s a=@u]] ^- [@s @u]
770− ?< =(a.a 0)
771− =. a (xpd a)
772− =+ 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)
774− =+ mn=(lsh 0 ?:((syn:si e.a) (abs:si e.a) 0) 1)
775− =+ mp=mn
776− => ?.
777− ?& =(a.a (bex (dec prc))) :: if next smallest
778− |(!=(e.a emn) =(den %i)) :: float is half ULP,
779− == :: tighten lower bound
780− .
781− %= .
782− mp (lsh 0 1 mp)
783− r (lsh 0 1 r)
784− s (lsh 0 1 s)
785− ==
786− =+ [k=--0 q=(^div (^add s 9) 10)]
787− |- ?: (^lth r q)
788− %= $
789− k (dif:si k --1)
790− r (^mul r 10)
791− mn (^mul mn 10)
792− mp (^mul mp 10)
793− ==
794− |- ?: (gte (^add (^mul r 2) mp) (^mul s 2))
795− $(s (^mul s 10), k (sum:si k --1))
796− =+ [u=0 o=0]
797− |- :: r/s+o = a*10^-k
798− =+ v=(dvr (^mul r 10) s)
799− => %= .
800− k (dif:si k --1)
801− u p.v
802− r q.v
803− mn (^mul mn 10)
804− mp (^mul mp 10)
805− ==
806− =+ l=(^lth (^mul r 2) mn) :: in lower bound
807− =+ ^= h :: in upper bound
808− ?| (^lth (^mul s 2) mp)
809− (gth (^mul r 2) (^sub (^mul s 2) mp))
810− ==
811− ?: &(!l !h)
812− $(o (^add (^mul o 10) u))
813− =+ q=&(h |(!l (gth (^mul r 2) s)))
814− =. o (^add (^mul o 10) ?:(q +(u) u))
815− [k o]
816−```
817−
818−#### Examples
819−
820−```
821− > (sun:fl 218.116)
822− [%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])
824− [--0 218.116]
825−
826− > (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]
828− > (^drg:fl [e=-66 a=7.530.527.107.827.833.883.675.587.233.447.936])
829− [--0 102.057.673.128.349]
830−```
831−
832−---
833−
834−### `++toj:fl`
761+++ drg :: dragon4; get
762+ ~/ %drg :: printable decimal;
763+ |= [a=[e=@s a=@u]] ^- [@s @u] :: guaranteed accurate
764+ ?< =(a.a 0) :: for rounded floats
765+ =. a (xpd a)
766+ =+ r=(lsh [0 ?:((syn:si e.a) (abs:si e.a) 0)] a.a)
767+ =+ s=(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)
769+ =+ mp=mn
770+ => ?.
771+ ?& =(a.a (bex (dec prc))) :: if next smallest
772+ |(!=(e.a emn) =(den %i)) :: float is half ULP,
773+ == :: tighten lower bound
774+ .
775+ %= .
776+ mp (lsh 0 mp)
777+ r (lsh 0 r)
778+ s (lsh 0 s)
779+ ==
780+ =+ [k=--0 q=(^div (^add s 9) 10)]
781+ |- ?: (^lth r q)
782+ %= $
783+ k (dif:si k --1)
784+ r (^mul r 10)
785+ mn (^mul mn 10)
786+ mp (^mul mp 10)
787+ ==
788+ |- ?: (gte (^add (^mul r 2) mp) (^mul s 2))
789+ $(s (^mul s 10), k (sum:si k --1))
790+ =+ [u=0 o=0]
791+ |- :: r/s+o = a*10^-k
792+ =+ v=(dvr (^mul r 10) s)
793+ => %= .
794+ k (dif:si k --1)
795+ u p.v
796+ r q.v
797+ mn (^mul mn 10)
798+ mp (^mul mp 10)
799+ ==
800+ =+ l=(^lth (^mul r 2) mn) :: in lower bound
801+ =+ ^= h :: in upper bound
802+ ?| (^lth (^mul s 2) mp)
803+ (gth (^mul r 2) (^sub (^mul s 2) mp))
804+ ==
805+ ?: &(!l !h)
806+ $(o (^add (^mul o 10) u))
807+ =+ q=&(h |(!l (gth (^mul r 2) s)))
808+ =. o (^add (^mul o 10) ?:(q +(u) u))
809+ [k o]
810+```
811+
812+#### Examples
813+
814+```
815+> (sun:fl 218.116)
816+[%f s=%.y 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])
818+[--0 218.116]
819+
820+> (sun:fl 102.057.673.128.349)
821+[%f s=%.y 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])
823+[--0 102.057.673.128.349]
824+```
825+
826+---
827+
828+### `^toj:fl`
835829
836830Round to integer
837831
@@ -848,27 +842,27 @@ An `fn`.
848842#### Source
849843
850844```hoon
851− ++ toj
852− |= [a=[e=@s a=@u]] ^- fn
853− ?. =((cmp:si e.a --0) -1) [%f & a]
854− =+ x=(abs:si e.a)
855− =+ y=(rsh 0 x a.a)
856− ?: |(=(r %d) =(r %z)) [%f & --0 y]
857− =+ z=(end 0 x a.a)
858− ?: |(=(r %u) =(r %a)) [%f & --0 ?~(z y +(y))]
859− =+ i=(bex (dec x))
860− ?: &(=(z i) =((dis y 1) 0)) [%f & --0 y]
861− ?: (^lth z i) [%f & --0 y] [%f & --0 +(y)]
845+++ toj
846+ |= [a=[e=@s a=@u]] ^- fn
847+ ?. =((cmp:si e.a --0) -1) [%f & a]
848+ =+ x=(abs:si e.a)
849+ =+ y=(rsh [0 x] a.a)
850+ ?: |(=(r %d) =(r %z)) [%f & --0 y]
851+ =+ z=(end [0 x] a.a)
852+ ?: |(=(r %u) =(r %a)) [%f & --0 ?~(z y +(y))]
853+ =+ i=(bex (dec x))
854+ ?: &(=(z i) =((dis y 1) 0)) [%f & --0 y]
855+ ?: (^lth z i) [%f & --0 y] [%f & --0 +(y)]
862856```
863857
864858#### Examples
865859
866860```
867− > (^toj:fl [-11 7.530.107.827.833.587])
868− [%f s=%.y e=--0 a=3.676.810.462.809]
861+> (^toj:fl [-11 7.530.107.827.833.587])
862+[%f s=%.y e=--0 a=3.676.810.462.809]
869863
870− > (^toj:fl [-11 7.530.107.827.833.589])
871− [%f s=%.y e=--0 a=3.676.810.462.809]
864+> (^toj:fl [-11 7.530.107.827.833.589])
865+[%f s=%.y e=--0 a=3.676.810.462.809]
872866```
873867
874868---
@@ -891,26 +885,26 @@ A cell of a signed integer and an unsigned integer.
891885#### Source
892886
893887```hoon
894− ++ ned
895− |= [a=fn] ^- [$f s=? e=@s a=@u]
896− ?: ?=([$f *] a) a
897− ~_ leaf+"need-float"
898− !!
888+++ ned
889+ |= [a=fn] ^- [%f s=? e=@s a=@u]
890+ ?: ?=([%f *] a) a
891+ ~_ leaf+"need-float"
892+ !!
899893```
900894
901895#### Examples
902896
903897```
904− > (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]
898+> (ned:fl [%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]
906900
907− > (ned:fl [%n ~])
908− ! need-float
909− ! exit
901+> (ned:fl [%n ~])
902+! need-float
903+! exit
910904
911− > (ned:fl [%i |])
912− ! need-float
913− ! exit
905+> (ned:fl [%i |])
906+! need-float
907+! exit
914908```
915909
916910---
@@ -935,23 +929,23 @@ An `fn`.
935929#### Source
936930
937931```hoon
938− ++ shf
939− |= [a=fn b=@s]
940− ?: |(?=([$n *] a) ?=([$i *] a)) a
941− a(e (sum:si e.a b))
932+++ shf
933+ |= [a=fn b=@s]
934+ ?: |(?=([%n *] a) ?=([%i *] a)) a
935+ a(e (sum:si e.a b))
942936```
943937
944938#### Examples
945939
946940```
947− > (shf:fl [[%f & -2 7] --2])
948− [%f s=%.y e=--0 a=7]
941+> (shf:fl [[%f & -2 7] --2])
942+[%f s=%.y e=--0 a=7]
949943
950− > (shf:fl [[%f & -2 7] -2])
951− [%f s=%.y e=-4 a=7]
944+> (shf:fl [[%f & -2 7] -2])
945+[%f s=%.y e=-4 a=7]
952946
953− > (shf:fl [%f & -11 7.530.107.827.833.587] --5)
954− [%f s=%.y e=-6 a=7.530.107.827.833.587]
947+> (shf:fl [%f & -11 7.530.107.827.833.587] --5)
948+[%f s=%.y e=-6 a=7.530.107.827.833.587]
955949```
956950
957951---
@@ -973,22 +967,22 @@ An `fn`.
973967#### Source
974968
975969```hoon
976− ++ fli
977− |= [a=fn] ^- fn
978− ?-(-.a $f a(s !s.a), $i a(s !s.a), $n a)
970+++ fli
971+ |= [a=fn] ^- fn
972+ ?-(-.a %f a(s !s.a), %i a(s !s.a), %n a)
979973```
980974
981975#### Examples
982976
983977```
984− > (fli:fl [%f %.y -2 7])
985− [%f s=%.n e=-2 a=7]
978+> (fli:fl [%f %.y -2 7])
979+[%f s=%.n e=-2 a=7]
986980
987− > (fli:fl [%f %.n --2 30.617])
988− [%f s=%.y e=--2 a=30.617]
981+> (fli:fl [%f %.n --2 30.617])
982+[%f s=%.y e=--2 a=30.617]
989983
990− > (fli:fl [%f | --2 30.617])
991− [%f s=%.y e=--2 a=30.617]
984+> (fli:fl [%f | --2 30.617])
985+[%f s=%.y e=--2 a=30.617]
992986```
993987
994988---
@@ -1002,21 +996,21 @@ Switches the rounding mode of `r:fl`.
1002996#### Source
1003997
1004998```hoon
1005− ++ swr ?+(r r $d %u, $u %d)
999+++ swr ?+(r r %d %u, %u %d)
10061000```
10071001
10081002#### Examples
10091003
10101004```
1011− > r:fl
1012− %n
1013− > swr:fl
1014− %n
1005+> r:fl
1006+%n
1007+> swr:fl
1008+%n
10151009
1016− > =new-fl fl :: new fl core with changed state
1017− > =new-fl new-fl(r %u)
1018− > swr:new-fl
1019− %d
1010+> =new-fl fl :: new fl core with changed state
1011+> =new-fl new-fl(r %u)
1012+> swr:new-fl
1013+%d
10201014```
10211015
10221016---
@@ -1031,23 +1025,23 @@ Otherwise, a crash is produced.
10311025#### Source
10321026
10331027```hoon
1034− ++ prc ?>((gth p 1) p)
1028+++ prc ?>((gth p 1) p)
10351029```
10361030
10371031#### Examples
10381032
10391033```
1040− > prc:fl
1041− 113
1034+> prc:fl
1035+113
10421036
1043− > =new-fl fl
1044− > =new-fl new-fl(p 1)
1045− > prc:new-fl
1046− ! exit
1037+> =new-fl fl
1038+> =new-fl new-fl(p 1)
1039+> prc:new-fl
1040+! exit
10471041
1048− > =new-fl new-fl(p 2)
1049− > prc:new-fl
1050− 2
1042+> =new-fl new-fl(p 2)
1043+> prc:new-fl
1044+2
10511045```
10521046
10531047---
@@ -1061,26 +1055,26 @@ Produces `d:fl`. Denormalizes if `d:fl` is `%d`. Flushes denormals to zero if
10611055
10621056- Denormalizes if `d:fl` is `%d`.
10631057- 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`.
10651059
10661060The default value of `d` is `%d`.
10671061
10681062#### Source
10691063
10701064```hoon
1071− ++ den d
1065+++ den d
10721066```
10731067
10741068#### Examples
10751069
10761070```
1077− > den:fl
1078− %d
1071+> den:fl
1072+%d
10791073
1080− > =new-fl fl
1081− > =new-fl new-fl(d %f)
1082− > den:new-fl
1083− %f
1074+> =new-fl fl
1075+> =new-fl new-fl(d %f)
1076+> den:new-fl
1077+%f
10841078```
10851079
10861080---
@@ -1094,14 +1088,14 @@ Produces `v:fl`, the minimum exponent. The default minimum exponent is -16.494.
10941088#### Source
10951089
10961090```hoon
1097− ++ emn v
1091+++ emn v
10981092```
10991093
11001094#### Examples
11011095
11021096```
1103− > emn:fl
1104− -16.494
1097+> emn:fl
1098+-16.494
11051099```
11061100
11071101---
@@ -1115,17 +1109,17 @@ Returns the maximum exponent of `fl`. The default maximum exponent is --16.271.
11151109#### Source
11161110
11171111```hoon
1118− ++ emx (sum:si emn (sun:si w))
1112+++ emx (sum:si emn (sun:si w))
11191113```
11201114
11211115#### Examples
11221116
11231117```
1124− > emx:fl
1125− --16.271
1118+> emx:fl
1119+--16.271
11261120
1127− > `@u`emx:fl
1128− 32.542
1121+> `@u`emx:fl
1122+32.542
11291123```
11301124
11311125---
@@ -1139,14 +1133,14 @@ Produces the smallest possible denormalized float.
11391133#### Source
11401134
11411135```hoon
1142− ++ spd [e=emn a=1]
1136+++ spd [e=emn a=1]
11431137```
11441138
11451139#### Examples
11461140
11471141```
1148− > spd:fl
1149− [e=-16.494 a=1]
1142+> spd:fl
1143+[e=-16.494 a=1]
11501144```
11511145
11521146---
@@ -1160,14 +1154,14 @@ Produces the smallest representable normal float.
11601154#### Source
11611155
11621156```hoon
1163− ++ spn [e=emn a=(bex (dec prc))]
1157+++ spn [e=emn a=(bex (dec prc))]
11641158```
11651159
11661160#### Examples
11671161
11681162```
1169− > spn:fl
1170− [e=-16.494 a=5.192.296.858.534.827.628.530.496.329.220.096]
1163+> spn:fl
1164+[e=-16.494 a=5.192.296.858.534.827.628.530.496.329.220.096]
11711165```
11721166
11731167---
@@ -1181,14 +1175,14 @@ Produces the largest representable normal float.
11811175#### Source
11821176
11831177```hoon
1184− ++ lfn [e=emx a=(fil 0 prc 1)]
1178+++ lfn [e=emx a=(fil 0 prc 1)]
11851179```
11861180
11871181#### Examples
11881182
11891183```
1190− > lfn:fl
1191− [e=--16.271 a=10.384.593.717.069.655.257.060.992.658.440.191]
1184+> lfn:fl
1185+[e=--16.271 a=10.384.593.717.069.655.257.060.992.658.440.191]
11921186```
11931187
11941188---
@@ -1202,14 +1196,14 @@ Produces the sum of `emx:fl` plus `prc:fl`.
12021196#### Source
12031197
12041198```hoon
1205− ++ lfe (sum:si emx (sun:si prc)) :: 2^lfe is > than all
1199+++ lfe (sum:si emx (sun:si prc))
12061200```
12071201
12081202#### Examples
12091203
12101204```
1211− > lfe:fl
1212− --16.384
1205+> lfe:fl
1206+--16.384
12131207```
12141208
12151209---
@@ -1223,16 +1217,14 @@ Produces zero represented as a float.
12231217#### Source
12241218
12251219```hoon
1226− ++ zer [e=--0 a=0]
1227− --
1228− |%
1220+++ zer [e=--0 a=0]
12291221```
12301222
12311223#### Examples
12321224
12331225```
1234− > zer:fl
1235− [e=--0 a=0]
1226+> zer:fl
1227+[e=--0 a=0]
12361228```
12371229
12381230---
@@ -1254,29 +1246,29 @@ An `fn`.
12541246#### Source
12551247
12561248```hoon
1257− ++ rou
1258− |= [a=fn] ^- fn
1259− ?. ?=([$f *] a) a
1260− ?~ a.a [%f s.a zer]
1261− ?: s.a (^rou +>.a)
1262− =.(r swr (fli (^rou +>.a)))
1249+++ rou
1250+ |= [a=fn] ^- fn
1251+ ?. ?=([%f *] a) a
1252+ ?~ a.a [%f s.a zer]
1253+ ?: s.a (^rou +>.a)
1254+ =.(r swr (fli (^rou +>.a)))
12631255```
12641256
12651257#### Examples
12661258
12671259```
1268− > =a 10.161.487.211.429.486.882.397.572.894.294.017.777
1269− > (rou:fl [%f & --12 a])
1270− [%f s=%.y e=--22 a=9.923.327.354.911.608.283.591.379.779.584.002]
1260+> =a 10.161.487.211.429.486.882.397.572.894.294.017.777
1261+> (rou:fl [%f & --12 a])
1262+[%f s=%.y e=--22 a=9.923.327.354.911.608.283.591.379.779.584.002]
12711263
1272− > (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]
1264+> (rou:fl [%f & --12 (add a 1)])
1265+[%f s=%.y e=--22 a=9.923.327.354.911.608.283.591.379.779.584.002]
12741266
1275− > (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]
1267+> (rou:fl [%f & --12 (add a 300)])
1268+[%f s=%.y e=--22 a=9.923.327.354.911.608.283.591.379.779.584.002]
12771269
1278− > (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]
1270+> (rou:fl [%f & --12 (add a 1.000)])
1271+[%f s=%.y e=--22 a=9.923.327.354.911.608.283.591.379.779.584.003]
12801272```
12811273
12821274---
@@ -1298,19 +1290,19 @@ An `fn`.
12981290#### Source
12991291
13001292```hoon
1301− ++ syn
1302− |= [a=fn] ^- ?
1303− ?-(-.a $f s.a, $i s.a, $n &)
1293+++ syn
1294+ |= [a=fn] ^- ?
1295+ ?-(-.a %f s.a, %i s.a, %n &)
13041296```
13051297
13061298#### Examples
13071299
13081300```
1309− > (syn:fl (sun:fl 106))
1310− %.y
1301+> (syn:fl (sun:fl 106))
1302+%.y
13111303
1312− > (syn:fl [%f | --0 106])
1313− %.n
1304+> (syn:fl [%f | --0 106])
1305+%.n
13141306```
13151307
13161308---
@@ -1332,20 +1324,20 @@ An `fn`.
13321324#### Sources
13331325
13341326```hoon
1335− ++ abs
1336− |= [a=fn] ^- fn
1337− ?: ?=([$f *] a) [%f & e.a a.a]
1338− ?: ?=([$i *] a) [%i &] [%n ~]
1327+++ abs
1328+ |= [a=fn] ^- fn
1329+ ?: ?=([%f *] a) [%f & e.a a.a]
1330+ ?: ?=([%i *] a) [%i &] [%n ~]
13391331```
13401332
13411333#### Examples
13421334
13431335```
1344− > (abs:fl [%f | --0 106])
1345− [%f s=%.y e=--0 a=106]
1336+> (abs:fl [%f | --0 106])
1337+[%f s=%.y e=--0 a=106]
13461338
1347− > (abs:fl [%f & --0 106])
1348− [%f s=%.y e=--0 a=106]
1339+> (abs:fl [%f & --0 106])
1340+[%f s=%.y e=--0 a=106]
13491341```
13501342
13511343---
@@ -1369,32 +1361,32 @@ An `fn`.
13691361#### Source
13701362
13711363```hoon
1372− ++ add
1373− |= [a=fn b=fn] ^- fn
1374− ?: |(?=([$n *] a) ?=([$n *] b)) [%n ~]
1375− ?: |(?=([$i *] a) ?=([$i *] b))
1376− ?: &(?=([$i *] a) ?=([$i *] b))
1377− ?: =(a b) a [%n ~]
1378− ?: ?=([$i *] a) a b
1379− ?: |(=(a.a 0) =(a.b 0))
1380− ?. &(=(a.a 0) =(a.b 0)) %- rou ?~(a.a b a)
1381− [%f ?:(=(r %d) &(s.a s.b) |(s.a s.b)) zer]
1382− %- |= [a=fn]
1383− ?. ?=([$f *] a) a
1384− ?. =(a.a 0) a
1385− [%f !=(r %d) zer]
1386− ?: =(s.a s.b)
1387− ?: s.a (^add +>.a +>.b |)
1388− =.(r swr (fli (^add +>.a +>.b |)))
1389− ?: s.a (^sub +>.a +>.b |)
1390− (^sub +>.b +>.a |)
1364+++ add
1365+ |= [a=fn b=fn] ^- fn
1366+ ?: |(?=([%n *] a) ?=([%n *] b)) [%n ~]
1367+ ?: |(?=([%i *] a) ?=([%i *] b))
1368+ ?: &(?=([%i *] a) ?=([%i *] b))
1369+ ?: =(a b) a [%n ~]
1370+ ?: ?=([%i *] a) a b
1371+ ?: |(=(a.a 0) =(a.b 0))
1372+ ?. &(=(a.a 0) =(a.b 0)) %- rou ?~(a.a b a)
1373+ [%f ?:(=(r %d) &(s.a s.b) |(s.a s.b)) zer]
1374+ %- |= [a=fn]
1375+ ?. ?=([%f *] a) a
1376+ ?. =(a.a 0) a
1377+ [%f !=(r %d) zer]
1378+ ?: =(s.a s.b)
1379+ ?: s.a (^add +>.a +>.b |)
1380+ =.(r swr (fli (^add +>.a +>.b |)))
1381+ ?: s.a (^sub +>.a +>.b |)
1382+ (^sub +>.b +>.a |)
13911383```
13921384
13931385#### Examples
13941386
13951387```
1396− > (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]
1388+> (add:fl [%f & --0 106] [%f | --3 55])
1389+[%f s=%.n e=-104 a=6.774.324.807.619.657.921.598.381.929.529.344]
13981390```
13991391
14001392---
@@ -1418,33 +1410,32 @@ An `fn`.
14181410#### Source
14191411
14201412```hoon
1421− ++ ead
1422− |= [a=fn b=fn] ^- fn
1423− ?: |(?=([$n *] a) ?=([$n *] b)) [%n ~]
1424− ?: |(?=([$i *] a) ?=([$i *] b))
1425− ?: &(?=([$i *] a) ?=([$i *] b))
1426− ?: =(a b) a [%n ~]
1427− ?: ?=([$i *] a) a b
1428− ?: |(=(a.a 0) =(a.b 0))
1429− ?. &(=(a.a 0) =(a.b 0)) ?~(a.a b a)
1430− [%f ?:(=(r %d) &(s.a s.b) |(s.a s.b)) zer]
1431− %- |= [a=fn]
1432− ?. ?=([$f *] a) a
1433− ?. =(a.a 0) a
1434− [%f !=(r %d) zer]
1435− ?: =(s.a s.b)
1436− ?: s.a (^add +>.a +>.b &)
1437− (fli (^add +>.a +>.b &))
1438− ?: s.a (^sub +>.a +>.b &)
1439− (^sub +>.b +>.a &)
1440− ::
1413+++ ead
1414+ |= [a=fn b=fn] ^- fn
1415+ ?: |(?=([%n *] a) ?=([%n *] b)) [%n ~]
1416+ ?: |(?=([%i *] a) ?=([%i *] b))
1417+ ?: &(?=([%i *] a) ?=([%i *] b))
1418+ ?: =(a b) a [%n ~]
1419+ ?: ?=([%i *] a) a b
1420+ ?: |(=(a.a 0) =(a.b 0))
1421+ ?. &(=(a.a 0) =(a.b 0)) ?~(a.a b a)
1422+ [%f ?:(=(r %d) &(s.a s.b) |(s.a s.b)) zer]
1423+ %- |= [a=fn]
1424+ ?. ?=([%f *] a) a
1425+ ?. =(a.a 0) a
1426+ [%f !=(r %d) zer]
1427+ ?: =(s.a s.b)
1428+ ?: s.a (^add +>.a +>.b &)
1429+ (fli (^add +>.a +>.b &))
1430+ ?: s.a (^sub +>.a +>.b &)
1431+ (^sub +>.b +>.a &)
14411432```
14421433
14431434#### Examples
14441435
14451436```
1446− > (ead:fl [%f & --0 106] [%f | --3 55])
1447− [%f s=%.n e=--0 a=334]
1437+> (ead:fl [%f & --0 106] [%f | --3 55])
1438+[%f s=%.n e=--0 a=334]
14481439```
14491440
14501441---
@@ -1468,15 +1459,15 @@ An `fn`.
14681459#### Source
14691460
14701461```hoon
1471− ++ sub
1472− |= [a=fn b=fn] ^- fn (add a (fli b))
1462+++ sub
1463+ |= [a=fn b=fn] ^- fn (add a (fli b))
14731464```
14741465
14751466#### Examples
14761467
14771468```
1478− > (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]
1469+> (sub:fl [%f & --13 2.718] [%f & --23 11])
1470+[%f s=%.n e=-86 a=5.416.671.014.775.224.232.595.412.796.571.648]
14801471```
14811472
14821473---
@@ -1500,18 +1491,18 @@ An `fn`.
15001491#### Source
15011492
15021493```hoon
1503− ++ mul
1504− |= [a=fn b=fn] ^- fn
1505− ?: |(?=([$n *] a) ?=([$n *] b)) [%n ~]
1506− ?: ?=([$i *] a)
1507− ?: ?=([$i *] b)
1508− [%i =(s.a s.b)]
1509− ?: =(a.b 0) [%n ~] [%i =(s.a s.b)]
1510− ?: ?=([$i *] b)
1511− ?: =(a.a 0) [%n ~] [%i =(s.a s.b)]
1512− ?: |(=(a.a 0) =(a.b 0)) [%f =(s.a s.b) zer]
1513− ?: =(s.a s.b) (^mul +>.a +>.b)
1514− =.(r swr (fli (^mul +>.a +>.b)))
1494+++ mul
1495+ |= [a=fn b=fn] ^- fn
1496+ ?: |(?=([%n *] a) ?=([%n *] b)) [%n ~]
1497+ ?: ?=([%i *] a)
1498+ ?: ?=([%i *] b)
1499+ [%i =(s.a s.b)]
1500+ ?: =(a.b 0) [%n ~] [%i =(s.a s.b)]
1501+ ?: ?=([%i *] b)
1502+ ?: =(a.a 0) [%n ~] [%i =(s.a s.b)]
1503+ ?: |(=(a.a 0) =(a.b 0)) [%f =(s.a s.b) zer]
1504+ ?: =(s.a s.b) (^mul +>.a +>.b)
1505+ =.(r swr (fli (^mul +>.a +>.b)))
15151506```
15161507
15171508---
@@ -1534,18 +1525,18 @@ An `fn`.
15341525
15351526#### Examples
15361527
1537−```
1538− ++ emu
1539− |= [a=fn b=fn] ^- fn
1540− ?: |(?=([$n *] a) ?=([$n *] b)) [%n ~]
1541− ?: ?=([$i *] a)
1542− ?: ?=([$i *] b)
1543− [%i =(s.a s.b)]
1544− ?: =(a.b 0) [%n ~] [%i =(s.a s.b)]
1545− ?: ?=([$i *] b)
1546− ?: =(a.a 0) [%n ~] [%i =(s.a s.b)]
1547− ?: |(=(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)]
1528+```hoon
1529+++ emu
1530+ |= [a=fn b=fn] ^- fn
1531+ ?: |(?=([%n *] a) ?=([%n *] b)) [%n ~]
1532+ ?: ?=([%i *] a)
1533+ ?: ?=([%i *] b)
1534+ [%i =(s.a s.b)]
1535+ ?: =(a.b 0) [%n ~] [%i =(s.a s.b)]
1536+ ?: ?=([%i *] b)
1537+ ?: =(a.a 0) [%n ~] [%i =(s.a s.b)]
1538+ ?: |(=(a.a 0) =(a.b 0)) [%f =(s.a s.b) zer]
1539+ [%f =(s.a s.b) (sum:si e.a e.b) (^^mul a.a a.b)]
15491540```
15501541
15511542---
@@ -1566,19 +1557,19 @@ Produces the quotient of `a` divided by `b`.
15661557
15671558An `fn`.
15681559
1569−#### Divide
1560+#### Source
15701561
15711562```hoon
1572− ++ div
1573− |= [a=fn b=fn] ^- fn
1574− ?: |(?=([$n *] a) ?=([$n *] b)) [%n ~]
1575− ?: ?=([$i *] a)
1576− ?: ?=([$i *] b) [%n ~] [%i =(s.a s.b)]
1577− ?: ?=([$i *] b) [%f =(s.a s.b) zer]
1578− ?: =(a.a 0) ?: =(a.b 0) [%n ~] [%f =(s.a s.b) zer]
1579− ?: =(a.b 0) [%i =(s.a s.b)]
1580− ?: =(s.a s.b) (^div +>.a +>.b)
1581− =.(r swr (fli (^div +>.a +>.b)))
1563+++ div
1564+ |= [a=fn b=fn] ^- fn
1565+ ?: |(?=([%n *] a) ?=([%n *] b)) [%n ~]
1566+ ?: ?=([%i *] a)
1567+ ?: ?=([%i *] b) [%n ~] [%i =(s.a s.b)]
1568+ ?: ?=([%i *] b) [%f =(s.a s.b) zer]
1569+ ?: =(a.a 0) ?: =(a.b 0) [%n ~] [%f =(s.a s.b) zer]
1570+ ?: =(a.b 0) [%i =(s.a s.b)]
1571+ ?: =(s.a s.b) (^div +>.a +>.b)
1572+ =.(r swr (fli (^div +>.a +>.b)))
15821573```
15831574
15841575---
@@ -1605,16 +1596,16 @@ An `fn`.
16051596#### Source
16061597
16071598```hoon
1608− ++ fma
1609− |= [a=fn b=fn c=fn] ^- fn
1610− (add (emu a b) c)
1599+++ fma
1600+ |= [a=fn b=fn c=fn] ^- fn
1601+ (add (emu a b) c)
16111602```
16121603
16131604#### Examples
16141605
16151606```
1616− > (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]=
1607+> (fma:fl [%f & --13 2.718] [%f & --23 11] [%f & --13 2.718])
1608+[%f s=%.y e=-62 a=9.475.054.514.089.037.465.004.673.635.188.736]=
16181609```
16191610
16201611---
@@ -1636,19 +1627,19 @@ An `fn`.
16361627#### Source
16371628
16381629```hoon
1639− ++ sqt
1640− |= [a=fn] ^- fn
1641− ?: ?=([$n *] a) [%n ~]
1642− ?: ?=([$i *] a) ?:(s.a a [%n ~])
1643− ?~ a.a [%f s.a zer]
1644− ?: s.a (^sqt +>.a) [%n ~]
1630+++ sqt
1631+ |= [a=fn] ^- fn
1632+ ?: ?=([%n *] a) [%n ~]
1633+ ?: ?=([%i *] a) ?:(s.a a [%n ~])
1634+ ?~ a.a [%f s.a zer]
1635+ ?: s.a (^sqt +>.a) [%n ~]
16451636```
16461637
16471638#### Examples
16481639
16491640```
1650− > (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]
1641+> (sqt:fl [%f s=%.y e=-18 a=342.602.577])
1642+[%f s=%.y e=-107 a=5.865.903.143.604.945.574.132.671.852.050.553]
16521643```
16531644
16541645---
@@ -1670,28 +1661,28 @@ An `fn`.
16701661#### Source
16711662
16721663```hoon
1673− ++ inv
1674− |= [a=fn] ^- fn
1675− (div [%f & --0 1] a)
1664+++ inv
1665+ |= [a=fn] ^- fn
1666+ (div [%f & --0 1] a)
16761667```
16771668
16781669#### Examples
16791670
16801671```
1681− > (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]
1683− > (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]
1672+> (inv:fl [%f s=%.y e=--0 a=10])
1673+[%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])
1675+[%d s=%.y e=-1 a=1]
16851676
1686− > (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]
1688− > (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]
1677+> (inv:fl [%f s=%.y e=--1 a=10])
1678+[%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])
1680+[%d s=%.y e=-2 a=5]
16901681
1691− > (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]
1693− > (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]
1682+> (inv:fl [%f s=%.y e=--2 a=10])
1683+[%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])
1685+[%d s=%.y e=-3 a=25]
16951686```
16961687
16971688---
@@ -1713,22 +1704,22 @@ An `fn`.
17131704#### Source
17141705
17151706```hoon
1716− ++ sun
1717− |= [a=@u] ^- fn
1718− (rou [%f & --0 a])
1707+++ sun
1708+ |= [a=@u] ^- fn
1709+ (rou [%f & --0 a])
17191710```
17201711
17211712#### Examples
17221713
17231714```
1724− > (sun:fl 0)
1725− [%f s=%.y e=--0 a=0]
1715+> (sun:fl 0)
1716+[%f s=%.y e=--0 a=0]
17261717
1727− > (sun:fl 5.048.729)
1728− [%f s=%.y e=-90 a=6.250.023.776.601.238.669.911.180.544.311.296]
1718+> (sun:fl 5.048.729)
1719+[%f s=%.y e=-90 a=6.250.023.776.601.238.669.911.180.544.311.296]
17291720
1730− > (sun:fl -100)
1731− ! exit
1721+> (sun:fl -100)
1722+! exit
17321723```
17331724
17341725---
@@ -1750,20 +1741,20 @@ An `fn`.
17501741#### Source
17511742
17521743```hoon
1753− ++ san
1754− |= [a=@s] ^- fn
1755− =+ b=(old:si a)
1756− (rou [%f -.b --0 +.b])
1744+++ san
1745+ |= [a=@s] ^- fn
1746+ =+ b=(old:si a)
1747+ (rou [%f -.b --0 +.b])
17571748```
17581749
17591750#### Examples
17601751
17611752```
1762− > (san:fl --100)
1763− [%f s=%.y e=-106 a=8.112.963.841.460.668.169.578.900.514.406.400]
1753+> (san:fl --100)
1754+[%f s=%.y e=-106 a=8.112.963.841.460.668.169.578.900.514.406.400]
17641755
1765− > (san:fl -100)
1766− [%f s=%.n e=-106 a=8.112.963.841.460.668.169.578.900.514.406.400]
1756+> (san:fl -100)
1757+[%f s=%.n e=-106 a=8.112.963.841.460.668.169.578.900.514.406.400]
17671758```
17681759
17691760---
@@ -1788,29 +1779,29 @@ A `unit` of `flag`.
17881779#### Source
17891780
17901781```hoon
1791− ++ lth
1792− |= [a=fn b=fn] ^- (unit ?)
1793− ?: |(?=([$n *] a) ?=([$n *] b)) ~ :- ~
1794− ?: =(a b) |
1795− ?: ?=([$i *] a) !s.a ?: ?=([$i *] b) s.b
1796− ?: |(=(a.a 0) =(a.b 0))
1797− ?: &(=(a.a 0) =(a.b 0)) |
1798− ?: =(a.a 0) s.b !s.a
1799− ?: !=(s.a s.b) s.b
1800− ?: s.a (^lth +>.a +>.b) (^lth +>.b +>.a)
1782+++ lth
1783+ |= [a=fn b=fn] ^- (unit ?)
1784+ ?: |(?=([%n *] a) ?=([%n *] b)) ~ :- ~
1785+ ?: =(a b) |
1786+ ?: ?=([%i *] a) !s.a ?: ?=([%i *] b) s.b
1787+ ?: |(=(a.a 0) =(a.b 0))
1788+ ?: &(=(a.a 0) =(a.b 0)) |
1789+ ?: =(a.a 0) s.b !s.a
1790+ ?: !=(s.a s.b) s.b
1791+ ?: s.a (^lth +>.a +>.b) (^lth +>.b +>.a)
18011792```
18021793
18031794#### Examples
18041795
18051796```
1806− > (lth:fl (sun:fl 116) (sun:fl 4.820))
1807− [~ u=%.y]
1797+> (lth:fl (sun:fl 116) (sun:fl 4.820))
1798+[~ u=%.y]
18081799
1809− > (lth:fl (sun:fl 218.116) (sun:fl 4.820))
1810− [~ u=%.n]
1800+> (lth:fl (sun:fl 218.116) (sun:fl 4.820))
1801+[~ u=%.n]
18111802
1812− > (lth:fl (sun:fl 218.116) [%n ~])
1813− ~
1803+> (lth:fl (sun:fl 218.116) [%n ~])
1804+~
18141805```
18151806
18161807---
@@ -1835,28 +1826,28 @@ A `unit` of `flag`.
18351826#### Source
18361827
18371828```hoon
1838− ++ lte
1839− |= [a=fn b=fn] ^- (unit ?)
1840− %+ bind (lth b a) |= a=? !a
1829+++ lte
1830+ |= [a=fn b=fn] ^- (unit ?)
1831+ %+ bind (lth b a) |= a=? !a
18411832```
18421833
18431834#### Examples
18441835
18451836```
1846− > (lte:fl (sun:fl 102) [%f %.y -5 973.655.724])
1847− [~ u=%.y]
1837+> (lte:fl (sun:fl 102) [%f %.y -5 973.655.724])
1838+[~ u=%.y]
18481839
1849− > (lte:fl (sun:fl 102) [%f %.y -24 973.655.724])
1850− [~ u=%.n]
1840+> (lte:fl (sun:fl 102) [%f %.y -24 973.655.724])
1841+[~ u=%.n]
18511842
1852− > (lte:fl [%f %.y --2 25] (sun:fl 100))
1853− [~ u=%.y]
1843+> (lte:fl [%f %.y --2 25] (sun:fl 100))
1844+[~ u=%.y]
18541845
1855− > (lte:fl [%f %.y --2 25] [%f %.y --3 2])
1856− [~ u=%.n]
1846+> (lte:fl [%f %.y --2 25] [%f %.y --3 2])
1847+[~ u=%.n]
18571848
1858− > (lte:fl [%f %.y --2 25] [%n ~])
1859− ~
1849+> (lte:fl [%f %.y --2 25] [%n ~])
1850+~
18601851```
18611852
18621853---
@@ -1881,25 +1872,25 @@ An `unit` of `flag`.
18811872#### Source
18821873
18831874```hoon
1884− ++ equ
1885− |= [a=fn b=fn] ^- (unit ?)
1886− ?: |(?=([$n *] a) ?=([$n *] b)) ~ :- ~
1887− ?: =(a b) &
1888− ?: |(?=([$i *] a) ?=([$i *] b)) |
1889− ?: |(=(a.a 0) =(a.b 0))
1890− ?: &(=(a.a 0) =(a.b 0)) & |
1891− ?: |(=(e.a e.b) !=(s.a s.b)) |
1892− (^equ +>.a +>.b)
1875+++ equ
1876+ |= [a=fn b=fn] ^- (unit ?)
1877+ ?: |(?=([%n *] a) ?=([%n *] b)) ~ :- ~
1878+ ?: =(a b) &
1879+ ?: |(?=([%i *] a) ?=([%i *] b)) |
1880+ ?: |(=(a.a 0) =(a.b 0))
1881+ ?: &(=(a.a 0) =(a.b 0)) & |
1882+ ?: |(=(e.a e.b) !=(s.a s.b)) |
1883+ (^equ +>.a +>.b)
18931884```
18941885
18951886#### Examples
18961887
18971888```
1898− > (equ:fl [%f %.y --2 25] (sun:fl 100))
1899− [~ u=%.y]
1889+> (equ:fl [%f %.y --2 25] (sun:fl 100))
1890+[~ u=%.y]
19001891
1901− > (equ:fl [%f %.y --2 25] (sun:fl 101))
1902− [~ u=%.n]
1892+> (equ:fl [%f %.y --2 25] (sun:fl 101))
1893+[~ u=%.n]
19031894```
19041895
19051896---
@@ -1924,21 +1915,21 @@ An `unit` of `flag`.
19241915#### Source
19251916
19261917```hoon
1927− ++ gte
1928− |= [a=fn b=fn] ^- (unit ?) (lte b a)
1918+++ gte
1919+ |= [a=fn b=fn] ^- (unit ?) (lte b a)
19291920```
19301921
19311922#### Examples
19321923
19331924```
1934− > (gte:fl [%f %.y --2 25] (sun:fl 100))
1935− [~ u=%.y]
1925+> (gte:fl [%f %.y --2 25] (sun:fl 100))
1926+[~ u=%.y]
19361927
1937− > (gth:fl [%f %.y --6 73.989] [%f %.y --5 919.599])
1938− [~ u=%.n]
1928+> (gth:fl [%f %.y --6 73.989] [%f %.y --5 919.599])
1929+[~ u=%.n]
19391930
1940− > (gth:fl [%f %.y --6 73.989] [%n ~])
1941− ~
1931+> (gth:fl [%f %.y --6 73.989] [%n ~])
1932+~
19421933```
19431934
19441935---
@@ -1963,18 +1954,18 @@ An `unit` of `flag`.
19631954#### Source
19641955
19651956```hoon
1966− ++ gth
1967− |= [a=fn b=fn] ^- (unit ?) (lth b a)
1957+++ gth
1958+ |= [a=fn b=fn] ^- (unit ?) (lth b a)
19681959```
19691960
19701961#### Examples
19711962
19721963```
1973− > (gth:fl [%f %.y --2 25] (sun:fl 100))
1974− [~ u=%.n]
1964+> (gth:fl [%f %.y --2 25] (sun:fl 100))
1965+[~ u=%.n]
19751966
1976− > (gth:fl [%f %.y --6 73.989] [%f %.y --5 119.599])
1977− [~ u=%.y]
1967+> (gth:fl [%f %.y --6 73.989] [%f %.y --5 119.599])
1968+[~ u=%.y]
19781969```
19791970
19801971---
@@ -1997,19 +1988,19 @@ A `dn`.
19971988#### Source
19981989
19991990```hoon
2000− ++ drg
2001− |= [a=fn] ^- dn
2002− ?: ?=([$n *] a) [%n ~]
2003− ?: ?=([$i *] a) [%i s.a]
2004− ?~ a.a [%d s.a --0 0]
2005− [%d s.a (^drg +>.a)]
1991+++ drg
1992+ |= [a=fn] ^- dn
1993+ ?: ?=([%n *] a) [%n ~]
1994+ ?: ?=([%i *] a) [%i s.a]
1995+ ?~ a.a [%d s.a --0 0]
1996+ [%d s.a (^drg +>.a)]
20061997```
20071998
20081999#### Examples
20092000
20102001```
2011− > (drg:fl [%f | --6 73.989])
2012− [%d s=%.n e=--0 a=4.735.296]
2002+> (drg:fl [%f | --6 73.989])
2003+[%d s=%.n e=--0 a=4.735.296]
20132004```
20142005
20152006---
@@ -2031,25 +2022,25 @@ An `fn`.
20312022#### Source
20322023
20332024```hoon
2034− ++ grd
2035− |= [a=dn] ^- fn
2036− ?: ?=([$n *] a) [%n ~]
2037− ?: ?=([$i *] a) [%i s.a]
2038− => .(r %n)
2039− =+ q=(abs:si e.a)
2040− ?: (syn:si e.a)
2041− (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)])
2025+++ grd
2026+ |= [a=dn] ^- fn
2027+ ?: ?=([%n *] a) [%n ~]
2028+ ?: ?=([%i *] a) [%i s.a]
2029+ => .(r %n)
2030+ =+ q=(abs:si e.a)
2031+ ?: (syn:si e.a)
2032+ (mul [%f s.a --0 a.a] [%f & e.a (pow 5 q)])
2033+ (div [%f s.a --0 a.a] [%f & (sun:si q) (pow 5 q)])
20432034```
20442035
20452036#### Examples
20462037
20472038```
2048− > (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]
2039+> (grd:fl [%d s=%.n e=--0 a=73.989])
2040+[%f s=%.n e=-96 a=5.862.012.516.267.904.074.208.723.341.410.304]
20502041
2051− > (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]
2042+> (grd:fl [%d s=%.n e=--0 a=100])
2043+[%f s=%.n e=-106 a=8.112.963.841.460.668.169.578.900.514.406.400]
20532044```
20542045
20552046---
@@ -2066,24 +2057,24 @@ Rounds `a` to the nearest signed integer.
20662057
20672058#### Produces
20682059
2069−A `unit` of @s.
2060+A `unit` of `@s`.
20702061
20712062#### Source
20722063
20732064```hoon
2074− ++ toi
2075− |= [a=fn] ^- (unit @s)
2076− =+ b=(toj a)
2077− ?. ?=([$f *] b) ~ :- ~
2078− =+ c=(^^mul (bex (abs:si e.b)) a.b)
2079− (new:si s.b c)
2065+++ toi
2066+ |= [a=fn] ^- (unit @s)
2067+ =+ b=(toj a)
2068+ ?. ?=([%f *] b) ~ :- ~
2069+ =+ c=(^^mul (bex (abs:si e.b)) a.b)
2070+ (new:si s.b c)
20802071```
20812072
20822073#### Examples
20832074
20842075```
2085− > (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]
2076+> (toi:fl [%f s=%.y e=-78 a=8.112.963.841.460.668.169.578.900.514.406.400])
2077+[~ u=--26.843.545.600]
20872078```
20882079
20892080---
@@ -2100,34 +2091,33 @@ Rounds `a` to the nearest decimal integer.
21002091
21012092#### Produces
21022093
2103−A `unit` of @s.
2094+A `unit` of `@s`.
21042095
21052096#### Source
21062097
21072098```hoon
2108− ++ toj
2109− |= [a=fn] ^- fn
2110− ?. ?=([$f *] a) a
2111− ?~ a.a [%f s.a zer]
2112− ?: s.a (^toj +>.a)
2113− =.(r swr (fli (^toj +>.a)))
2114− --
2099+++ toj
2100+ |= [a=fn] ^- fn
2101+ ?. ?=([%f *] a) a
2102+ ?~ a.a [%f s.a zer]
2103+ ?: s.a (^toj +>.a)
2104+ =.(r swr (fli (^toj +>.a)))
21152105```
21162106
21172107#### Examples
21182108
21192109```
2120− > (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]
2110+> (toj:fl [%f s=%.y e=-78 a=8.112.963.841.460.668.169.578.900.514.406.400])
2111+[%f s=%.y e=--0 a=26.843.545.600]
21222112
2123− > (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]
2113+> (toj:fl [%f s=%.y e=-78 a=8.112.963.841.460.668.169.578.900.514])
2114+[%f s=%.y e=--0 a=26.844]
21252115
2126− > (toj:fl [%f s=%.y e=-78 a=8.112.963.841.460])
2127− [%f s=%.y e=--0 a=0]
2116+> (toj:fl [%f s=%.y e=-78 a=8.112.963.841.460])
2117+[%f s=%.y e=--0 a=0]
21282118
2129− > (toj:fl [%f s=%.y e=-9 a=9.002])
2130− [%f s=%.y e=--0 a=16]
2119+> (toj:fl [%f s=%.y e=-9 a=9.002])
2120+[%f s=%.y e=--0 a=16]
21312121```
21322122
21332123---
@@ -2141,23 +2131,22 @@ Container core for IEEE-754 formatting operations.
21412131- `w` is width: The number of bits in the exponent field.
21422132- `p` is precision: The number of bits in the significand field.
21432133- `w` is bias: Added to exponent when storing.
2144−- `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`.
2134+- `r` is rounding mode: Possible modes are nearest (`%n`), up (`%u`),
2135+ down (`%d`), to zero (`%z`), and away from zero (`%a`). Default value is `%a`.
21462136
21472137#### Source
21482138
21492139```hoon
2150− ++ ff
2151− |_ [[w=@u p=@u b=@s] r=$?($n $u $d $z $a)]
2140+++ ff
2141+ |_ [[w=@u p=@u b=@s] r=$?(%n %u %d %z %a)]
21522142```
21532143
21542144#### Examples
21552145
21562146```
2157− > =ffcore ~(. ff [8 8 0] %n)
2158− > ffcore
2159− <24.ltg {{{@ud @ud @ud} r/$n} <54.tyv 119.wim 31.ohr 1.jmk $143>}>
2160− >
2147+> =ffcore ~(. ff [8 8 0] %n)
2148+> ffcore
2149+<24.ltg {{{@ud @ud @ud} r/$n} <54.tyv 119.wim 31.ohr 1.jmk $143>}>
21612150```
21622151
21632152---
@@ -2179,14 +2168,14 @@ Produces the sign bit of `++ff`.
21792168#### Source
21802169
21812170```hoon
2182− ++ sb (bex (^add w p))
2171+++ sb (bex (^add w p))
21832172```
21842173
21852174#### Examples
21862175
21872176```
2188− > sb:ff
2189− 1
2177+> sb:ff
2178+1
21902179```
21912180
21922181---
@@ -2200,14 +2189,14 @@ Produces the minimum possible exponent of `ff`.
22002189#### Source
22012190
22022191```hoon
2203− ++ me (dif:si (dif:si --1 b) (sun:si p))
2192+++ me (dif:si (dif:si --1 b) (sun:si p))
22042193```
22052194
22062195#### Examples
22072196
22082197```
2209− > me:ff
2210− --1
2198+> me:ff
2199+--1
22112200```
22122201
22132202---
@@ -2222,20 +2211,20 @@ configuration of the `ff` core.
22222211#### Source
22232212
22242213```hoon
2225− ++ pa
2226− %*(. fl p +(p), v me, w (^sub (bex w) 3), d %d, r r)
2214+++ pa
2215+ %*(. fl p +(p), v me, w (^sub (bex w) 3), d %d, r r)
22272216```
22282217
22292218#### Examples
22302219
22312220```
2232− > ~(pa ff [11 52 --1.023] %n)
2233− < 23.qzd
2234− 28.btz
2235− { {{p/@ v/@s w/@} r/?($n $u $a $d $z) d/$d}
2236− <54.tyv 119.wim 31.ohr 1.jmk $143>
2237− }
2238− >
2221+> ~(pa ff [11 52 --1.023] %n)
2222+< 23.qzd
2223+ 28.btz
2224+ { {{p/@ v/@s w/@} r/?($n $u $a $d $z) d/$d}
2225+ <54.tyv 119.wim 31.ohr 1.jmk $143>
2226+ }
2227+>
22392228```
22402229
22412230#### Discussion
@@ -2257,29 +2246,29 @@ Converts `a` from `@r` to `fn`.
22572246
22582247#### Produces
22592248
2260−A `unit` of @s.
2249+A `unit` of `@s`.
22612250
22622251#### Source
22632252
22642253```hoon
2265− ++ sea
2266− |= [a=@r] ^- fn
2267− =+ [f=(cut 0 [0 p] a) e=(cut 0 [p w] a)]
2268− =+ s=(sig a)
2269− ?: =(e 0)
2270− ?: =(f 0) [%f s --0 0] [%f s me f]
2271− ?: =(e (fil 0 w 1))
2272− ?: =(f 0) [%i s] [%n ~]
2273− =+ q=:(sum:si (sun:si e) me -1)
2274− =+ r=(^add f (bex p))
2275− [%f s q r]
2254+++ sea
2255+ |= [a=@r] ^- fn
2256+ =+ [f=(cut 0 [0 p] a) e=(cut 0 [p w] a)]
2257+ =+ s=(sig a)
2258+ ?: =(e 0)
2259+ ?: =(f 0) [%f s --0 0] [%f s me f]
2260+ ?: =(e (fil 0 w 1))
2261+ ?: =(f 0) [%i s] [%n ~]
2262+ =+ q=:(sum:si (sun:si e) me -1)
2263+ =+ r=(^add f (bex p))
2264+ [%f s q r]
22762265```
22772266
22782267#### Examples
22792268
22802269```
2281− > (sea:ff `@r`0x8)
2282− [%f s=%.y e=--0 a=0]
2270+> (sea:ff `@r`0x8)
2271+[%f s=%.y e=--0 a=0]
22832272```
22842273
22852274---
@@ -2301,14 +2290,14 @@ A `@r`.
23012290#### Source
23022291
23032292```hoon
2304− ++ bit |= [a=fn] (bif (rou:pa a))
2293+++ bit |= [a=fn] (bif (rou:pa a))
23052294```
23062295
23072296#### Examples
23082297
23092298```
2310− > (bit:ma:rd [%f | -6 202])
2311− 0xc009400000000000
2299+> (bit:ma:rd [%f | -6 202])
2300+0xc009400000000000
23122301```
23132302
23142303---
@@ -2330,28 +2319,28 @@ A `flag`.
23302319#### Source
23312320
23322321```hoon
2333− ++ bif
2334− |= [a=fn] ^- @r
2335− ?: ?=([$i *] a)
2336− =+ q=(lsh 0 p (fil 0 w 1))
2337− ?: s.a q (^add q sb)
2338− ?: ?=([$n *] a) (lsh 0 (dec p) (fil 0 +(w) 1))
2339− ?~ a.a ?: s.a `@r`0 sb
2340− =+ ma=(met 0 a.a)
2341− ?. =(ma +(p))
2342− ?> =(e.a me)
2343− ?> (^lth ma +(p))
2344− ?: s.a `@r`a.a (^add a.a sb)
2345− =+ q=(sum:si (dif:si e.a me) --1)
2346− =+ r=(^add (lsh 0 p (abs:si q)) (end 0 p a.a))
2347− ?: s.a r (^add r sb)
2322+++ bif
2323+ |= [a=fn] ^- @r
2324+ ?: ?=([%i *] a)
2325+ =+ q=(lsh [0 p] (fil 0 w 1))
2326+ ?: s.a q (^add q sb)
2327+ ?: ?=([%n *] a) (lsh [0 (dec p)] (fil 0 +(w) 1))
2328+ ?~ a.a ?: s.a `@r`0 sb
2329+ =+ ma=(met 0 a.a)
2330+ ?. =(ma +(p))
2331+ ?> =(e.a me)
2332+ ?> (^lth ma +(p))
2333+ ?: s.a `@r`a.a (^add a.a sb)
2334+ =+ q=(sum:si (dif:si e.a me) --1)
2335+ =+ r=(^add (lsh [0 p] (abs:si q)) (end [0 p] a.a))
2336+ ?: s.a r (^add r sb)
23482337```
23492338
23502339#### Examples
23512340
23522341```
2353− > (bif:ma:rd *fn)
2354− 0x7ff8000000000000
2342+> (bif:ma:rd *fn)
2343+0x7ff8000000000000
23552344```
23562345
23572346---
@@ -2373,16 +2362,16 @@ A `flag`.
23732362#### Source
23742363
23752364```hoon
2376− ++ sig
2377− |= [a=@r] ^- ?
2378− =(0 (cut 0 [(^add p w) 1] a))
2365+++ sig
2366+ |= [a=@r] ^- ?
2367+ =(0 (cut 0 [(^add p w) 1] a))
23792368```
23802369
23812370#### Examples
23822371
23832372```
2384− > (sig:ff `@r`5)
2385− %.n
2373+> (sig:ff `@r`5)
2374+%.n
23862375```
23872376
23882377---
@@ -2404,16 +2393,16 @@ A signed integer.
24042393#### Source
24052394
24062395```hoon
2407− ++ exp
2408− |= [a=@r] ^- @s
2409− (dif:si (sun:si (cut 0 [p w] a)) b)
2396+++ exp
2397+ |= [a=@r] ^- @s
2398+ (dif:si (sun:si (cut 0 [p w] a)) b)
24102399```
24112400
24122401#### Examples
24132402
24142403```
2415− > (exp:ff `@r`5)
2416− --0
2404+> (exp:ff `@r`5)
2405+--0
24172406```
24182407
24192408---
@@ -2437,16 +2426,16 @@ A `@r`, an IEEE float.
24372426#### Source
24382427
24392428```hoon
2440− ++ add
2441− |= [a=@r b=@r]
2442− (bif (add:pa (sea a) (sea b)))
2429+++ add
2430+ |= [a=@r b=@r]
2431+ (bif (add:pa (sea a) (sea b)))
24432432```
24442433
24452434#### Examples
24462435
24472436```
2448− > (add:ma:rd `@r`5 `@r`11)
2449− 0x10
2437+> (add:ma:rd `@r`5 `@r`11)
2438+0x10
24502439```
24512440
24522441---
@@ -2470,16 +2459,16 @@ A `@r`, an IEEE float.
24702459#### Source
24712460
24722461```hoon
2473− ++ sub
2474− |= [a=@r b=@r]
2475− (bif (sub:pa (sea a) (sea b)))
2462+++ sub
2463+ |= [a=@r b=@r]
2464+ (bif (sub:pa (sea a) (sea b)))
24762465```
24772466
24782467#### Examples
24792468
24802469```
2481− > (sub:ma:rd `@r`5 `@r`11)
2482− 0x8000000000000006
2470+> (sub:ma:rd `@r`5 `@r`11)
2471+0x8000000000000006
24832472```
24842473
24852474---
@@ -2503,16 +2492,16 @@ A `@r`, an IEEE float.
25032492#### Multiply
25042493
25052494```hoon
2506− ++ mul
2507− |= [a=@r b=@r]
2508− (bif (mul:pa (sea a) (sea b)))
2495+++ mul
2496+ |= [a=@r b=@r]
2497+ (bif (mul:pa (sea a) (sea b)))
25092498```
25102499
25112500#### Examples
25122501
25132502```
2514− > (mul:ma:rd `@r`11 `@r`2)
2515− 0x0
2503+> (mul:ma:rd `@r`11 `@r`2)
2504+0x0
25162505```
25172506
25182507---
@@ -2536,16 +2525,16 @@ A `@r`, an IEEE float.
25362525#### Source
25372526
25382527```hoon
2539− ++ div
2540− |= [a=@r b=@r]
2541− (bif (div:pa (sea a) (sea b)))
2528+++ div
2529+ |= [a=@r b=@r]
2530+ (bif (div:pa (sea a) (sea b)))
25422531```
25432532
25442533#### Examples
25452534
25462535```
2547− > (div:ma:rd `@r`175 `@r`26)
2548− 0x401aec4ec4ec4ec4
2536+> (div:ma:rd `@r`175 `@r`26)
2537+0x401aec4ec4ec4ec4
25492538```
25502539
25512540---
@@ -2572,16 +2561,16 @@ A `@r`, an IEEE float.
25722561#### Source
25732562
25742563```hoon
2575− ++ fma
2576− |= [a=@r b=@r c=@r]
2577− (bif (fma:pa (sea a) (sea b) (sea c)))
2564+++ fma
2565+ |= [a=@r b=@r c=@r]
2566+ (bif (fma:pa (sea a) (sea b) (sea c)))
25782567```
25792568
25802569#### Examples
25812570
25822571```
2583− > (fma:ma:rd `@r`175 `@r`26 `@r`100)
2584− 0x64
2572+> (fma:ma:rd `@r`175 `@r`26 `@r`100)
2573+0x64
25852574```
25862575
25872576---
@@ -2603,16 +2592,16 @@ A `@r`, an IEEE float.
26032592#### Source
26042593
26052594```hoon
2606− ++ sqt
2607− |= [a=@r]
2608− (bif (sqt:pa (sea a)))
2595+++ sqt
2596+ |= [a=@r]
2597+ (bif (sqt:pa (sea a)))
26092598```
26102599
26112600#### Examples
26122601
26132602```
2614− > (sqt:ma:rd `@r`175)
2615− 0x1e9a751f9447b724
2603+> (sqt:ma:rd `@r`175)
2604+0x1e9a751f9447b724
26162605```
26172606
26182607---
@@ -2636,18 +2625,18 @@ A `flag`.
26362625#### Source
26372626
26382627```hoon
2639− ++ lth
2640− |= [a=@r b=@r] (fall (lth:pa (sea a) (sea b)) |)
2628+++ lth
2629+ |= [a=@r b=@r] (fall (lth:pa (sea a) (sea b)) |)
26412630```
26422631
26432632#### Examples
26442633
26452634```
2646− > (lth:ma:rd `@rd`1 `@rd`2)
2647− %.y
2635+> (lth:ma:rd `@rd`1 `@rd`2)
2636+%.y
26482637
2649− > (lth:ma:rd `@rd`10 `@rd`2)
2650− %.n
2638+> (lth:ma:rd `@rd`10 `@rd`2)
2639+%.n
26512640```
26522641
26532642---
@@ -2671,18 +2660,18 @@ A `flag`.
26712660#### Source
26722661
26732662```hoon
2674− ++ lte
2675− |= [a=@r b=@r] (fall (lte:pa (sea a) (sea b)) |)
2663+++ lte
2664+ |= [a=@r b=@r] (fall (lte:pa (sea a) (sea b)) |)
26762665```
26772666
26782667#### Examples
26792668
26802669```
2681− > (lte:ma:rd `@rd`10 `@rd`2)
2682− %.n
2670+> (lte:ma:rd `@rd`10 `@rd`2)
2671+%.n
26832672
2684− > (lte:ma:rd `@rd`10 `@rd`10)
2685− %.y
2673+> (lte:ma:rd `@rd`10 `@rd`10)
2674+%.y
26862675```
26872676
26882677---
@@ -2706,18 +2695,18 @@ A `flag`.
27062695#### Source
27072696
27082697```hoon
2709− ++ equ
2710− |= [a=@r b=@r] (fall (equ:pa (sea a) (sea b)) |)
2698+++ equ
2699+ |= [a=@r b=@r] (fall (equ:pa (sea a) (sea b)) |)
27112700```
27122701
27132702#### Examples
27142703
27152704```
2716− > (equ:ma:rd `@rd`10 `@rd`2)
2717− %.n
2705+> (equ:ma:rd `@rd`10 `@rd`2)
2706+%.n
27182707
2719− > (equ:ma:rd `@rd`10 `@rd`10)
2720− %.y
2708+> (equ:ma:rd `@rd`10 `@rd`10)
2709+%.y
27212710```
27222711
27232712---
@@ -2741,18 +2730,18 @@ A `flag`.
27412730#### Source
27422731
27432732```hoon
2744− ++ gte
2745− |= [a=@r b=@r] (fall (gte:pa (sea a) (sea b)) |)
2733+++ gte
2734+ |= [a=@r b=@r] (fall (gte:pa (sea a) (sea b)) |)
27462735```
27472736
27482737#### Examples
27492738
27502739```
2751− > (gte:ma:rd `@rd`10 `@rd`10)
2752− %.y
2740+> (gte:ma:rd `@rd`10 `@rd`10)
2741+%.y
27532742
2754− > (gte:ma:rd `@rd`10 `@rd`11)
2755− %.n
2743+> (gte:ma:rd `@rd`10 `@rd`11)
2744+%.n
27562745```
27572746
27582747---
@@ -2776,18 +2765,18 @@ A `flag`.
27762765#### Source
27772766
27782767```hoon
2779− ++ gth
2780− |= [a=@r b=@r] (fall (gth:pa (sea a) (sea b)) |)
2768+++ gth
2769+ |= [a=@r b=@r] (fall (gth:pa (sea a) (sea b)) |)
27812770```
27822771
27832772#### Examples
27842773
27852774```
2786− > (gth:ma:rd `@rd`10 `@rd`10)
2787− %.n
2775+> (gth:ma:rd `@rd`10 `@rd`10)
2776+%.n
27882777
2789− > (gth:ma:rd `@rd`10 `@rd`9)
2790− %.y
2778+> (gth:ma:rd `@rd`10 `@rd`9)
2779+%.y
27912780```
27922781
27932782---
@@ -2809,15 +2798,15 @@ A `@r`, an IEEE float.
28092798#### Source
28102799
28112800```hoon
2812− ++ sun
2813− |= [a=@u] (bit [%f & --0 a])
2801+++ sun
2802+ |= [a=@u] (bit [%f & --0 a])
28142803```
28152804
28162805#### Examples
28172806
28182807```
2819− > (sun:ma:rd 658.149.282)
2820− 0x41c39d47d1000000
2808+> (sun:ma:rd 658.149.282)
2809+0x41c39d47d1000000
28212810```
28222811
28232812---
@@ -2839,15 +2828,15 @@ A `@r`, an IEEE float.
28392828#### Source
28402829
28412830```hoon
2842− ++ san
2843− |= [a=@s] (bit [%f (syn:si a) --0 (abs:si a)])
2831+++ san
2832+ |= [a=@s] (bit [%f (syn:si a) --0 (abs:si a)])
28442833```
28452834
28462835#### Examples
28472836
28482837```
2849− > (san:ma:rd --10)
2850− 0x4024000000000000
2838+> (san:ma:rd --10)
2839+0x4024000000000000
28512840```
28522841
28532842---
@@ -2869,15 +2858,15 @@ A `flag` of `@s`.
28692858#### Source
28702859
28712860```hoon
2872− ++ toi
2873− |= [a=@r] (toi:pa (sea a))
2861+++ toi
2862+ |= [a=@r] (toi:pa (sea a))
28742863```
28752864
28762865#### Examples
28772866
28782867```
2879− > (toi:ma:rd `@r`0x4af)
2880− [~ u=--0]
2868+> (toi:ma:rd `@r`0x4af)
2869+[~ u=--0]
28812870```
28822871
28832872---
@@ -2899,18 +2888,18 @@ A `dn`.
28992888#### Source
29002889
29012890```hoon
2902− ++ drg
2903− |= [a=@r] (drg:pa (sea a))
2891+++ drg
2892+ |= [a=@r] (drg:pa (sea a))
29042893```
29052894
29062895#### Examples
29072896
29082897```
2909− > (drg:ma:rd `@r`0x41c0)
2910− [%d s=%.y e=-323 a=8.316]
2898+> (drg:ma:rd `@r`0x41c0)
2899+[%d s=%.y e=-323 a=8.316]
29112900
2912− > (drg:ma:rd (sun:ma:rd 658.149.282))
2913− [%d s=%.y e=--0 a=658.149.282]
2901+> (drg:ma:rd (sun:ma:rd 658.149.282))
2902+[%d s=%.y e=--0 a=658.149.282]
29142903```
29152904
29162905---
@@ -2932,16 +2921,15 @@ A `@r`, an IEEE float.
29322921#### Source
29332922
29342923```hoon
2935− ++ grd
2936− |= [a=dn] (bif (grd:pa a))
2937− --
2924+++ grd
2925+ |= [a=dn] (bif (grd:pa a))
29382926```
29392927
29402928#### Examples
29412929
29422930```
2943− > (grd:ma:rd [%d s=%.y e=--0 a=658.149.282])
2944− 0x41c39d47d1000000
2931+> (grd:ma:rd [%d s=%.y e=--0 a=658.149.282])
2932+0x41c39d47d1000000
29452933```
29462934
29472935---
@@ -2963,14 +2951,14 @@ A `dn`.
29632951#### Source
29642952
29652953```hoon
2966− ++ rlyd |= a=@rd ^- dn (drg:rd a)
2954+++ rlyd |= a=@rd ^- dn (drg:rd a)
29672955```
29682956
29692957#### Examples
29702958
29712959```
2972− > (rlyd .~2.4703e-320)
2973− [%d s=%.y e=-324 a=24.703]
2960+> (rlyd .~2.4703e-320)
2961+[%d s=%.y e=-324 a=24.703]
29742962```
29752963
29762964---
@@ -2992,14 +2980,14 @@ A `dn`.
29922980#### Source
29932981
29942982```hoon
2995− ++ rlys |= a=@rs ^- dn (drg:rs a)
2983+++ rlys |= a=@rs ^- dn (drg:rs a)
29962984```
29972985
29982986#### Examples
29992987
30002988```
3001− > (rlys .1.681557e-39)
3002− [%d s=%.y e=-45 a=1.681.557]
2989+> (rlys .1.681557e-39)
2990+[%d s=%.y e=-45 a=1.681.557]
30032991```
30042992
30052993---
@@ -3021,14 +3009,14 @@ A `dn`.
30213009#### Source
30223010
30233011```hoon
3024− ++ rlyh |= a=@rh ^- dn (drg:rh a)
3012+++ rlyh |= a=@rh ^- dn (drg:rh a)
30253013```
30263014
30273015#### Examples
30283016
30293017```
3030− > (rlyh .~~3e1)
3031− [%d s=%.y e=--1 a=3]
3018+> (rlyh .~~3e1)
3019+[%d s=%.y e=--1 a=3]
30323020```
30333021
30343022---
@@ -3050,14 +3038,14 @@ A `dn`.
30503038#### Source
30513039
30523040```hoon
3053− ++ rlyq |= a=@rq ^- dn (drg:rq a)
3041+++ rlyq |= a=@rq ^- dn (drg:rq a)
30543042```
30553043
30563044#### Examples
30573045
30583046```
3059− > (rlyq .~~~2.2628017865927756787440310766086816e-4343)
3060− [%d s=%.y e=-4.377 a=22.628.017.865.927.756.787.440.310.766.086.816]
3047+> (rlyq .~~~2.2628017865927756787440310766086816e-4343)
3048+[%d s=%.y e=-4.377 a=22.628.017.865.927.756.787.440.310.766.086.816]
30613049```
30623050
30633051---
@@ -3079,14 +3067,14 @@ A a `@rd`, a double-precision float.
30793067#### Source
30803068
30813069```hoon
3082− ++ ryld |= a=dn ^- @rd (grd:rd a)
3070+++ ryld |= a=dn ^- @rd (grd:rd a)
30833071```
30843072
30853073#### Examples
30863074
30873075```
3088− > (ryld [%d s=%.y e=-324 a=24.703])
3089− .~2.4703e-320
3076+> (ryld [%d s=%.y e=-324 a=24.703])
3077+.~2.4703e-320
30903078```
30913079
30923080---
@@ -3108,17 +3096,17 @@ A a `@rs`, a single-precision float.
31083096#### Source
31093097
31103098```hoon
3111− ++ ryls |= a=dn ^- @rs (grd:rs a)
3099+++ ryls |= a=dn ^- @rs (grd:rs a)
31123100```
31133101
31143102#### Examples
31153103
31163104```
3117− > (ryls [%d s=%.y e=-324 a=24.703])
3118− .0
3105+> (ryls [%d s=%.y e=-324 a=24.703])
3106+.0
31193107
3120− > (ryls [%d s=%.y e=-32 a=24.703])
3121− .2.4703e-28
3108+> (ryls [%d s=%.y e=-32 a=24.703])
3109+.2.4703e-28
31223110```
31233111
31243112---
@@ -3140,20 +3128,20 @@ A a `@rh`, a half-precision float.
31403128#### Source
31413129
31423130```hoon
3143− ++ rylh |= a=dn ^- @rh (grd:rh a)
3131+++ rylh |= a=dn ^- @rh (grd:rh a)
31443132```
31453133
31463134#### Examples
31473135
31483136```
3149− > (rylh [%d s=%.y e=--1 a=703])
3150− .~~7.032e3
3137+> (rylh [%d s=%.y e=--1 a=703])
3138+.~~7.032e3
31513139
3152− > (rylh [%d s=%.y e=--3 a=56])
3153− .~~5.6e4
3140+> (rylh [%d s=%.y e=--3 a=56])
3141+.~~5.6e4
31543142
3155− > (rylh [%d s=%.y e=--4 a=56])
3156− .~~inf
3143+> (rylh [%d s=%.y e=--4 a=56])
3144+.~~inf
31573145```
31583146
31593147---
@@ -3175,14 +3163,14 @@ A a `@rq`, a quad-precision float.
31753163#### Source
31763164
31773165```hoon
3178− ++ rylq |= a=dn ^- @rq (grd:rq a)
3166+++ rylq |= a=dn ^- @rq (grd:rq a)
31793167```
31803168
31813169#### Examples
31823170
31833171```
3184− > (rylq [%d s=%.y e=-324 a=24.703])
3185− .~~~2.4703e-320
3172+> (rylq [%d s=%.y e=-324 a=24.703])
3173+.~~~2.4703e-320
31863174```
31873175
31883176---
@@ -3199,10 +3187,10 @@ down (`$d`), and round to zero (`$z`).
31993187#### Source
32003188
32013189```hoon
3202− ++ rd
3203− ^?
3204− ~% %rd +> ~
3205− |_ r=$?($n $u $d $z)
3190+++ rd
3191+ ^|
3192+ ~% %rd +> ~
3193+ |_ r=$?(%n %u %d %z)
32063194```
32073195
32083196---
@@ -3217,17 +3205,17 @@ configuration of the `rd` core.
32173205#### Source
32183206
32193207```hoon
3220− ++ ma
3221− %*(. ff w 11, p 52, b --1.023, r r)
3208+++ ma
3209+ %*(. ff w 11, p 52, b --1.023, r r)
32223210```
32233211
32243212#### Examples
32253213
32263214```
3227− > ~(ma rd %n)
3228− < 24.ltg
3229− {{{w/@ud p/@ud b/@sd} r/?($n $u $d $z)} <54.tyv 119.wim 31.ohr 1.jmk $143>}
3230− >
3215+> ~(ma rd %n)
3216+< 24.ltg
3217+ {{{w/@ud p/@ud b/@sd} r/?($n $u $d $z)} <54.tyv 119.wim 31.ohr 1.jmk $143>}
3218+>
32313219```
32323220
32333221---
@@ -3238,16 +3226,18 @@ configuration of the `rd` core.
32383226
32393227Converts `a` from a double-precision binary float to `fn`.
32403228
3229+#### Source
3230+
32413231```hoon
3242− ++ sea :: @rd to fn
3243− |= [a=@rd] (sea:ma a)
3232+++ sea
3233+ |= [a=@rd] (sea:ma a)
32443234```
32453235
32463236#### Examples
32473237
32483238```
3249− > (sea:rd .~4.94066e-319)
3250− [%f s=%.y e=-1.074 a=100.000]
3239+> (sea:rd .~4.94066e-319)
3240+[%f s=%.y e=-1.074 a=100.000]
32513241```
32523242
32533243---
@@ -3269,15 +3259,15 @@ A `@rd`, a double-precision float.
32693259#### Source
32703260
32713261```hoon
3272− ++ bit
3273− |= [a=fn] ^- @rd (bit:ma a)
3262+++ bit
3263+ |= [a=fn] ^- @rd (bit:ma a)
32743264```
32753265
32763266#### Examples
32773267
32783268```
3279− > (bit:rd [%f s=%.y e=-1.074 a=100.000])
3280− .~4.94066e-319
3269+> (bit:rd [%f s=%.y e=-1.074 a=100.000])
3270+.~4.94066e-319
32813271```
32823272
32833273---
@@ -3301,17 +3291,17 @@ A `@rd`.
33013291#### Source
33023292
33033293```hoon
3304− ++ add ~/ %add
3305− |= [a=@rd b=@rd] ^- @rd
3306− ~_ leaf+"rd-fail"
3307− (add:ma a b)
3294+++ add ~/ %add
3295+ |= [a=@rd b=@rd] ^- @rd
3296+ ~_ leaf+"rd-fail"
3297+ (add:ma a b)
33083298```
33093299
33103300#### Examples
33113301
33123302```
3313− > (add:rd .~3.94066e12 .~9.2846e11)
3314− .~4.86912e12
3303+> (add:rd .~3.94066e12 .~9.2846e11)
3304+.~4.86912e12
33153305```
33163306
33173307---
@@ -3335,17 +3325,17 @@ A `@rd`.
33353325#### Source
33363326
33373327```hoon
3338− ++ sub ~/ %sub
3339− |= [a=@rd b=@rd] ^- @rd
3340− ~_ leaf+"rd-fail"
3341− (sub:ma a b)
3328+++ sub ~/ %sub
3329+ |= [a=@rd b=@rd] ^- @rd
3330+ ~_ leaf+"rd-fail"
3331+ (sub:ma a b)
33423332```
33433333
33443334#### Examples
33453335
33463336```
3347− > (sub:rd .~7.94069e2 .~1.2846e3)
3348− .~-4.9053099999999995e2
3337+> (sub:rd .~7.94069e2 .~1.2846e3)
3338+.~-4.9053099999999995e2
33493339```
33503340
33513341---
@@ -3369,17 +3359,17 @@ A `@rd`.
33693359#### Source
33703360
33713361```hoon
3372− ++ mul ~/ %mul
3373− |= [a=@rd b=@rd] ^- @rd
3374− ~_ leaf+"rd-fail"
3375− (mul:ma a b)
3362+++ mul ~/ %mul
3363+ |= [a=@rd b=@rd] ^- @rd
3364+ ~_ leaf+"rd-fail"
3365+ (mul:ma a b)
33763366```
33773367
33783368#### Examples
33793369
33803370```
3381− > (mul:rd .~7.94069e2 .~1.2246e3)
3382− .~9.724168973999998e5
3371+> (mul:rd .~7.94069e2 .~1.2246e3)
3372+.~9.724168973999998e5
33833373```
33843374
33853375---
@@ -3403,17 +3393,17 @@ A `@rd`.
34033393#### Source
34043394
34053395```hoon
3406− ++ div ~/ %div
3407− |= [a=@rd b=@rd] ^- @rd
3408− ~_ leaf+"rd-fail"
3409− (div:ma a b)
3396+++ div ~/ %div
3397+ |= [a=@rd b=@rd] ^- @rd
3398+ ~_ leaf+"rd-fail"
3399+ (div:ma a b)
34103400```
34113401
34123402#### Examples
34133403
34143404```
3415− > (div:rd .~7.94099e2 .~1.2246e3)
3416− .~6.484558223093255e-1
3405+> (div:rd .~7.94099e2 .~1.2246e3)
3406+.~6.484558223093255e-1
34173407```
34183408
34193409---
@@ -3439,20 +3429,18 @@ A `@rd`.
34393429
34403430#### Source
34413431
3442−#### Source
3443−
34443432```hoon
3445− ++ fma ~/ %fma
3446− |= [a=@rd b=@rd c=@rd] ^- @rd
3447− ~_ leaf+"rd-fail"
3448− (fma:ma a b c)
3433+++ fma ~/ %fma
3434+ |= [a=@rd b=@rd c=@rd] ^- @rd
3435+ ~_ leaf+"rd-fail"
3436+ (fma:ma a b c)
34493437```
34503438
34513439#### Examples
34523440
34533441```
3454− > (fma:rd .~7.94099e2 .~1.2246e3 .~3.94066e3)
3455− .~9.763942954e5
3442+> (fma:rd .~7.94099e2 .~1.2246e3 .~3.94066e3)
3443+.~9.763942954e5
34563444```
34573445
34583446---
@@ -3474,16 +3462,16 @@ A `@rd`.
34743462#### Source
34753463
34763464```hoon
3477− ++ sqt ~/ %sqt
3478− |= [a=@rd] ^- @rd ~_ leaf+"rd-fail"
3479− (sqt:ma a)
3465+++ sqt ~/ %sqt
3466+ |= [a=@rd] ^- @rd ~_ leaf+"rd-fail"
3467+ (sqt:ma a)
34803468```
34813469
34823470#### Examples
34833471
34843472```
3485− > (sqt:rd .~3.94066e3)
3486− .~6.2774676422901614e1
3473+> (sqt:rd .~3.94066e3)
3474+.~6.2774676422901614e1
34873475```
34883476
34893477---
@@ -3507,23 +3495,23 @@ A `@rd`.
35073495#### Source
35083496
35093497```hoon
3510− ++ lth ~/ %lth
3511− |= [a=@rd b=@rd]
3512− ~_ leaf+"rd-fail"
3513− (lth:ma a b)
3498+++ lth ~/ %lth
3499+ |= [a=@rd b=@rd]
3500+ ~_ leaf+"rd-fail"
3501+ (lth:ma a b)
35143502```
35153503
35163504#### Examples
35173505
35183506```
3519− > (lth:rd .~7.94099e2 .~1.2246e3)
3520− %.y
3507+> (lth:rd .~7.94099e2 .~1.2246e3)
3508+%.y
35213509
3522− > (lth:rd .~7.94099e2 .~1.2246e2)
3523− %.n
3510+> (lth:rd .~7.94099e2 .~1.2246e2)
3511+%.n
35243512
3525− > (lth:rd .~1.2246e2 .~1.2246e2)
3526− %.n
3513+> (lth:rd .~1.2246e2 .~1.2246e2)
3514+%.n
35273515```
35283516
35293517---
@@ -3547,23 +3535,23 @@ A `@rd`.
35473535#### Source
35483536
35493537```hoon
3550− ++ lte ~/ %lte :: less-equals
3551− |= [a=@rd b=@rd]
3552− ~_ leaf+"rd-fail"
3553− (lte:ma a b)
3538+++ lte ~/ %lte
3539+ |= [a=@rd b=@rd]
3540+ ~_ leaf+"rd-fail"
3541+ (lte:ma a b)
35543542```
35553543
35563544#### Examples
35573545
35583546```
3559− > (lte:rd .~7.94099e2 .~1.2246e3)
3560− %.y
3547+> (lte:rd .~7.94099e2 .~1.2246e3)
3548+%.y
35613549
3562− > (lte:rd .~7.94099e2 .~1.2246e2)
3563− %.n
3550+> (lte:rd .~7.94099e2 .~1.2246e2)
3551+%.n
35643552
3565− > (lte:rd .~1.2246e2 .~1.2246e2)
3566− %.y
3553+> (lte:rd .~1.2246e2 .~1.2246e2)
3554+%.y
35673555```
35683556
35693557---
@@ -3587,23 +3575,23 @@ A `@rd`.
35873575#### Source
35883576
35893577```hoon
3590− ++ equ ~/ %equ
3591− |= [a=@rd b=@rd]
3592− ~_ leaf+"rd-fail"
3593− (equ:ma a b)
3578+++ equ ~/ %equ
3579+ |= [a=@rd b=@rd]
3580+ ~_ leaf+"rd-fail"
3581+ (equ:ma a b)
35943582```
35953583
35963584#### Examples
35973585
35983586```
3599− > (equ:rd .~7.94099e2 .~1.2246e3)
3600− %.n
3587+> (equ:rd .~7.94099e2 .~1.2246e3)
3588+%.n
36013589
3602− > (equ:rd .~7.94099e2 .~1.2246e2)
3603− %.n
3590+> (equ:rd .~7.94099e2 .~1.2246e2)
3591+%.n
36043592
3605− > (equ:rd .~1.2246e2 .~1.2246e2)
3606− %.y
3593+> (equ:rd .~1.2246e2 .~1.2246e2)
3594+%.y
36073595```
36083596
36093597---
@@ -3627,23 +3615,23 @@ A `@rd`.
36273615#### Source
36283616
36293617```hoon
3630− ++ gte ~/ %gte
3631− |= [a=@rd b=@rd]
3632− ~_ leaf+"rd-fail"
3633− (gte:ma a b)
3618+++ gte ~/ %gte
3619+ |= [a=@rd b=@rd]
3620+ ~_ leaf+"rd-fail"
3621+ (gte:ma a b)
36343622```
36353623
36363624#### Examples
36373625
36383626```
3639− > (gte:rd .~7.94099e2 .~1.2246e3)
3640− %.n
3627+> (gte:rd .~7.94099e2 .~1.2246e3)
3628+%.n
36413629
3642− > (gte:rd .~7.94099e2 .~1.2246e2)
3643− %.y
3630+> (gte:rd .~7.94099e2 .~1.2246e2)
3631+%.y
36443632
3645− > (gte:rd .~1.2246e2 .~1.2246e2)
3646− %.y
3633+> (gte:rd .~1.2246e2 .~1.2246e2)
3634+%.y
36473635```
36483636
36493637---
@@ -3667,23 +3655,23 @@ A `@rd`.
36673655#### Source
36683656
36693657```hoon
3670− ++ gth ~/ %gth
3671− |= [a=@rd b=@rd]
3672− ~_ leaf+"rd-fail"
3673− (gth:ma a b)
3658+++ gth ~/ %gth
3659+ |= [a=@rd b=@rd]
3660+ ~_ leaf+"rd-fail"
3661+ (gth:ma a b)
36743662```
36753663
36763664#### Examples
36773665
36783666```
3679− > (gth:rd .~7.94099e2 .~1.2246e3)
3680− %.n
3667+> (gth:rd .~7.94099e2 .~1.2246e3)
3668+%.n
36813669
3682− > (gth:rd .~7.94099e2 .~1.2246e2)
3683− %.y
3670+> (gth:rd .~7.94099e2 .~1.2246e2)
3671+%.y
36843672
3685− > (gth:rd .~1.2246e2 .~1.2246e2)
3686− %.n
3673+> (gth:rd .~1.2246e2 .~1.2246e2)
3674+%.n
36873675```
36883676
36893677---
@@ -3705,14 +3693,14 @@ A `@rd`.
37053693#### Source
37063694
37073695```hoon
3708− ++ sun |= [a=@u] ^- @rd (sun:ma a)
3696+++ sun |= [a=@u] ^- @rd (sun:ma a)
37093697```
37103698
37113699#### Examples
37123700
37133701```
3714− > (sun:rd 511)
3715− .~5.11e2
3702+> (sun:rd 511)
3703+.~5.11e2
37163704```
37173705
37183706---
@@ -3734,14 +3722,14 @@ A `@rd`.
37343722#### Source
37353723
37363724```hoon
3737− ++ san |= [a=@s] ^- @rd (san:ma a)
3725+++ san |= [a=@s] ^- @rd (san:ma a)
37383726```
37393727
37403728#### Examples
37413729
37423730```
3743− > (san:rd -511)
3744− .~-5.11e2
3731+> (san:rd -511)
3732+.~-5.11e2
37453733```
37463734
37473735---
@@ -3763,14 +3751,14 @@ A `flag`.
37633751#### Source
37643752
37653753```hoon
3766− ++ sig |= [a=@rd] ^- ? (sig:ma a)
3754+++ sig |= [a=@rd] ^- ? (sig:ma a)
37673755```
37683756
37693757#### Examples
37703758
37713759```
3772− > (sig:rd .~1.2246e3)
3773− %.y
3760+> (sig:rd .~1.2246e3)
3761+%.y
37743762```
37753763
37763764---
@@ -3792,14 +3780,14 @@ A `@s`.
37923780#### Source
37933781
37943782```hoon
3795− ++ exp |= [a=@rd] ^- @s (exp:ma a) :: get exponent
3783+++ exp |= [a=@rd] ^- @s (exp:ma a)
37963784```
37973785
37983786#### Examples
37993787
38003788```
3801− > (exp:rd .~1.2246e3)
3802− --10
3789+> (exp:rd .~1.2246e3)
3790+--10
38033791```
38043792
38053793---
@@ -3821,14 +3809,14 @@ A `unit` of `@s`.
38213809#### Source
38223810
38233811```hoon
3824− ++ toi |= [a=@rd] ^- (unit @s) (toi:ma a)
3812+++ toi |= [a=@rd] ^- (unit @s) (toi:ma a)
38253813```
38263814
38273815#### Examples
38283816
38293817```
3830− > (toi:rd .~1.2246e3)
3831− [~ u=--1.224]
3818+> (toi:rd .~1.2246e3)
3819+[~ u=--1.224]
38323820```
38333821
38343822---
@@ -3851,14 +3839,14 @@ A `dn`.
38513839#### Source
38523840
38533841```hoon
3854− ++ drg |= [a=@rd] ^- dn (drg:ma a)
3842+++ drg |= [a=@rd] ^- dn (drg:ma a)
38553843```
38563844
38573845#### Examples
38583846
38593847```
3860− > (drg:rd .~1.2246e3)
3861− [%d s=%.y e=-1 a=12.246]
3848+> (drg:rd .~1.2246e3)
3849+[%d s=%.y e=-1 a=12.246]
38623850```
38633851
38643852---
@@ -3880,15 +3868,14 @@ A `@rd`.
38803868#### Source
38813869
38823870```hoon
3883− ++ grd |= [a=dn] ^- @rd (grd:ma a) :: decimal float to @rd
3884− --
3871+++ grd |= [a=dn] ^- @rd (grd:ma a)
38853872```
38863873
38873874#### Examples
38883875
38893876```
3890− > (grd:rd [%d s=%.y e=-1 a=12.246])
3891− .~1.2246e3
3877+> (grd:rd [%d s=%.y e=-1 a=12.246])
3878+.~1.2246e3
38923879```
38933880
38943881---
@@ -3905,10 +3892,10 @@ down (`$d`), and round to zero (`$z`).
39053892#### Source
39063893
39073894```hoon
3908− ++ rs
3909− ~% %rs +> ~
3910− ^?
3911− |_ r=$?($n $u $d $z)
3895+++ rs
3896+ ~% %rs +> ~
3897+ ^|
3898+ |_ r=$?(%n %u %d %z)
39123899```
39133900
39143901---
@@ -3923,17 +3910,17 @@ configuration of the `rs` core.
39233910#### Source
39243911
39253912```hoon
3926− ++ ma
3927− %*(. ff w 8, p 23, b --127, r r)
3913+++ ma
3914+ %*(. ff w 8, p 23, b --127, r r)
39283915```
39293916
39303917#### Examples
39313918
39323919```
3933− > ~(ma rs %n)
3934− < 24.ltg
3935− {{{w/@ud p/@ud b/@sd} r/?($n $u $d $z)} <54.tyv 119.wim 31.ohr 1.jmk $143>}
3936− >
3920+> ~(ma rs %n)
3921+< 24.ltg
3922+ {{{w/@ud p/@ud b/@sd} r/?($n $u $d $z)} <54.tyv 119.wim 31.ohr 1.jmk $143>}
3923+>
39373924```
39383925
39393926---
@@ -3955,15 +3942,15 @@ An `fn`.
39553942#### Source
39563943
39573944```hoon
3958− ++ sea
3959− |= [a=@rs] (sea:ma a)
3945+++ sea
3946+ |= [a=@rs] (sea:ma a)
39603947```
39613948
39623949#### Examples
39633950
39643951```
3965− > (sea:rs .1.4e-43)
3966− [%f s=%.y e=-149 a=100]
3952+> (sea:rs .1.4e-43)
3953+[%f s=%.y e=-149 a=100]
39673954```
39683955
39693956---
@@ -3985,15 +3972,15 @@ A `@rs`, a single-precision float.
39853972#### Source
39863973
39873974```hoon
3988− ++ bit
3989− |= [a=fn] ^- @rs (bit:ma a)
3975+++ bit
3976+ |= [a=fn] ^- @rs (bit:ma a)
39903977```
39913978
39923979#### Examples
39933980
39943981```
3995− > (bit:rs [%f & -2 1.000])
3996− .2.5e2
3982+> (bit:rs [%f & -2 1.000])
3983+.2.5e2
39973984```
39983985
39993986---
@@ -4017,17 +4004,17 @@ A `@rs`.
40174004#### Source
40184005
40194006```hoon
4020− ++ add ~/ %add
4021− |= [a=@rs b=@rs] ^- @rs
4022− ~_ leaf+"rs-fail"
4023− (add:ma a b)
4007+++ add ~/ %add
4008+ |= [a=@rs b=@rs] ^- @rs
4009+ ~_ leaf+"rs-fail"
4010+ (add:ma a b)
40244011```
40254012
40264013#### Examples
40274014
40284015```
4029− > (add:rs .2.5e1 .2.5e2)
4030− .2.75e2
4016+> (add:rs .2.5e1 .2.5e2)
4017+.2.75e2
40314018```
40324019
40334020---
@@ -4038,20 +4025,26 @@ Subtract
40384025
40394026Subtracts `a` from `b`.
40404027
4028+#### Accepts
4029+
4030+`a` is a `@rs`.
4031+
4032+`b` is a `@rs`.
4033+
40414034#### Source
40424035
40434036```hoon
4044− ++ sub ~/ %sub
4045− |= [a=@rs b=@rs] ^- @rs
4046− ~_ leaf+"rs-fail"
4047− (sub:ma a b)
4037+++ sub ~/ %sub
4038+ |= [a=@rs b=@rs] ^- @rs
4039+ ~_ leaf+"rs-fail"
4040+ (sub:ma a b)
40484041```
40494042
40504043#### Examples
40514044
40524045```
4053− > (sub:rs .2.5e1 .2.5e2)
4054− .-2.25e2
4046+> (sub:rs .2.5e1 .2.5e2)
4047+.-2.25e2
40554048```
40564049
40574050---
@@ -4075,17 +4068,17 @@ A `@rs`.
40754068#### Source
40764069
40774070```hoon
4078− ++ mul ~/ %mul
4079− |= [a=@rs b=@rs] ^- @rs
4080− ~_ leaf+"rs-fail"
4081− (mul:ma a b)
4071+++ mul ~/ %mul
4072+ |= [a=@rs b=@rs] ^- @rs
4073+ ~_ leaf+"rs-fail"
4074+ (mul:ma a b)
40824075```
40834076
40844077#### Examples
40854078
40864079```
4087− > (mul:rs .2.5e1 .2.5e2)
4088− .6.25e3
4080+> (mul:rs .2.5e1 .2.5e2)
4081+.6.25e3
40894082```
40904083
40914084---
@@ -4109,17 +4102,17 @@ A `@rs`.
41094102#### Source
41104103
41114104```hoon
4112− ++ div ~/ %div
4113− |= [a=@rs b=@rs] ^- @rs
4114− ~_ leaf+"rs-fail"
4115− (div:ma a b)
4105+++ div ~/ %div
4106+ |= [a=@rs b=@rs] ^- @rs
4107+ ~_ leaf+"rs-fail"
4108+ (div:ma a b)
41164109```
41174110
41184111#### Examples
41194112
41204113```
4121− > (div:rs .4.5e1 .2.2e2)
4122− .2.0454545e-1
4114+> (div:rs .4.5e1 .2.2e2)
4115+.2.0454545e-1
41234116```
41244117
41254118---
@@ -4146,17 +4139,17 @@ A `@rs`.
41464139#### Source
41474140
41484141```hoon
4149− ++ fma ~/ %fma
4150− |= [a=@rs b=@rs c=@rs] ^- @rs
4151− ~_ leaf+"rs-fail"
4152− (fma:ma a b c)
4142+++ fma ~/ %fma
4143+ |= [a=@rs b=@rs c=@rs] ^- @rs
4144+ ~_ leaf+"rs-fail"
4145+ (fma:ma a b c)
41534146```
41544147
41554148#### Examples
41564149
41574150```
4158− > (fma:rs .2.5e1 .2.5e2 .8.2e1)
4159− .6.332e3
4151+> (fma:rs .2.5e1 .2.5e2 .8.2e1)
4152+.6.332e3
41604153```
41614154
41624155---
@@ -4178,17 +4171,17 @@ A `@rs`.
41784171#### Source
41794172
41804173```hoon
4181− ++ sqt ~/ %sqt
4182− |= [a=@rs] ^- @rs
4183− ~_ leaf+"rs-fail"
4184− (sqt:ma a)
4174+++ sqt ~/ %sqt
4175+ |= [a=@rs] ^- @rs
4176+ ~_ leaf+"rs-fail"
4177+ (sqt:ma a)
41854178```
41864179
41874180#### Examples
41884181
41894182```
4190− > (sqt:rs .2.5e2)
4191− .1.5811388e1
4183+> (sqt:rs .2.5e2)
4184+.1.5811388e1
41924185```
41934186
41944187---
@@ -4212,20 +4205,20 @@ A `@rs`.
42124205#### Source
42134206
42144207```hoon
4215− ++ lth ~/ %lth
4216− |= [a=@rs b=@rs]
4217− ~_ leaf+"rs-fail"
4218− (lth:ma a b)
4208+++ lth ~/ %lth
4209+ |= [a=@rs b=@rs]
4210+ ~_ leaf+"rs-fail"
4211+ (lth:ma a b)
42194212```
42204213
42214214#### Examples
42224215
42234216```
4224− > (lth:rs .9.9e1 .1.1e2)
4225− %.y
4217+> (lth:rs .9.9e1 .1.1e2)
4218+%.y
42264219
4227− > (lth:rs .9.9e1 .9.9e1)
4228− %.n
4220+> (lth:rs .9.9e1 .9.9e1)
4221+%.n
42294222```
42304223
42314224---
@@ -4249,20 +4242,20 @@ A `@rs`.
42494242#### Source
42504243
42514244```hoon
4252− ++ lte ~/ %lte
4253− |= [a=@rs b=@rs]
4254− ~_ leaf+"rs-fail"
4255− (lte:ma a b)
4245+++ lte ~/ %lte
4246+ |= [a=@rs b=@rs]
4247+ ~_ leaf+"rs-fail"
4248+ (lte:ma a b)
42564249```
42574250
42584251#### Examples
42594252
42604253```
4261− > (lte:rs .9.9e1 .1.1e2)
4262− %.y
4254+> (lte:rs .9.9e1 .1.1e2)
4255+%.y
42634256
4264− > (lte:rs .9.9e1 .9.9e1)
4265− %.y
4257+> (lte:rs .9.9e1 .9.9e1)
4258+%.y
42664259```
42674260
42684261---
@@ -4286,20 +4279,20 @@ A `@rs`.
42864279#### Source
42874280
42884281```hoon
4289− ++ equ ~/ %equ
4290− |= [a=@rs b=@rs]
4291− ~_ leaf+"rs-fail"
4292− (equ:ma a b)
4282+++ equ ~/ %equ
4283+ |= [a=@rs b=@rs]
4284+ ~_ leaf+"rs-fail"
4285+ (equ:ma a b)
42934286```
42944287
42954288#### Examples
42964289
42974290```
4298− > (equ:rs .9.9e1 .1.1e2)
4299− %.n
4291+> (equ:rs .9.9e1 .1.1e2)
4292+%.n
43004293
4301− > (equ:rs .9.9e1 .9.9e1)
4302− %.y
4294+> (equ:rs .9.9e1 .9.9e1)
4295+%.y
43034296```
43044297
43054298---
@@ -4323,20 +4316,20 @@ A `@rs`.
43234316#### Source
43244317
43254318```hoon
4326− ++ gte ~/ %gte
4327− |= [a=@rs b=@rs]
4328− ~_ leaf+"rs-fail"
4329− (gte:ma a b)
4319+++ gte ~/ %gte
4320+ |= [a=@rs b=@rs]
4321+ ~_ leaf+"rs-fail"
4322+ (gte:ma a b)
43304323```
43314324
43324325#### Examples
43334326
43344327```
4335− > (gte:rs .9.9e1 .9.9e1)
4336− %.y
4328+> (gte:rs .9.9e1 .9.9e1)
4329+%.y
43374330
4338− > (gte:rs .9.9e1 .9.2e2)
4339− %.n
4331+> (gte:rs .9.9e1 .9.2e2)
4332+%.n
43404333```
43414334
43424335---
@@ -4360,23 +4353,23 @@ A `@rs`.
43604353#### Source
43614354
43624355```hoon
4363− ++ gth ~/ %gth
4364− |= [a=@rs b=@rs]
4365− ~_ leaf+"rs-fail"
4366− (gth:ma a b)
4356+++ gth ~/ %gth
4357+ |= [a=@rs b=@rs]
4358+ ~_ leaf+"rs-fail"
4359+ (gth:ma a b)
43674360```
43684361
43694362#### Examples
43704363
43714364```
4372− > (gth:rs .9.9e1 .9.2e2)
4373− %.n
4365+> (gth:rs .9.9e1 .9.2e2)
4366+%.n
43744367
4375− > (gth:rs .9.9e1 .9.9e1)
4376− %.n
4368+> (gth:rs .9.9e1 .9.9e1)
4369+%.n
43774370
4378− > (gth:rs .9.9e1 .1.9e1)
4379− %.y
4371+> (gth:rs .9.9e1 .1.9e1)
4372+%.y
43804373```
43814374
43824375---
@@ -4398,14 +4391,14 @@ A `@rs`.
43984391#### Source
43994392
44004393```hoon
4401− ++ sun |= [a=@u] ^- @rs (sun:ma a)
4394+++ sun |= [a=@u] ^- @rs (sun:ma a)
44024395```
44034396
44044397#### Examples
44054398
44064399```
4407− > (sun:rs 343)
4408− .3.43e2
4400+> (sun:rs 343)
4401+.3.43e2
44094402```
44104403
44114404---
@@ -4427,16 +4420,18 @@ A `@rs`.
44274420#### Source
44284421
44294422```hoon
4430− ++ san |= [a=@s] ^- @rs (san:ma a)
4423+++ san |= [a=@s] ^- @rs (san:ma a)
44314424```
44324425
44334426#### Examples
44344427
44354428```
4436− > (san:rs -343)
4437− .-3.43e2'
4429+> (san:rs -343)
4430+.-3.43e2'
44384431```
44394432
4433+---
4434+
44404435### `++sig:rs`
44414436
44424437Get sign
@@ -4454,17 +4449,17 @@ A `flag`.
44544449#### Source
44554450
44564451```hoon
4457− ++ sig |= [a=@rs] ^- ? (sig:ma a)
4452+++ sig |= [a=@rs] ^- ? (sig:ma a)
44584453```
44594454
44604455#### Examples
44614456
44624457```
4463− > (sig:rs .3.43e2)
4464− %.y
4458+> (sig:rs .3.43e2)
4459+%.y
44654460
4466− > (sig:rs .-3.43e2)
4467− %.n
4461+> (sig:rs .-3.43e2)
4462+%.n
44684463```
44694464
44704465---
@@ -4486,14 +4481,14 @@ A signed integer.
44864481#### Source
44874482
44884483```hoon
4489− ++ exp |= [a=@rs] ^- @s (exp:ma a)
4484+++ exp |= [a=@rs] ^- @s (exp:ma a)
44904485```
44914486
44924487#### Examples
44934488
44944489```
4495− > (exp:rs .-3.43e2)
4496− --8
4490+> (exp:rs .-3.43e2)
4491+--8
44974492```
44984493
44994494---
@@ -4515,14 +4510,14 @@ A `unit` of `@s`.
45154510#### Source
45164511
45174512```hoon
4518− ++ toi |= [a=@rs] ^- (unit @s) (toi:ma a)
4513+++ toi |= [a=@rs] ^- (unit @s) (toi:ma a)
45194514```
45204515
45214516#### Examples
45224517
45234518```
4524− > (toi:rs .-3.43e2)
4525− [~ u=-343]
4519+> (toi:rs .-3.43e2)
4520+[~ u=-343]
45264521```
45274522
45284523---
@@ -4545,14 +4540,14 @@ A `dn`.
45454540#### Source
45464541
45474542```hoon
4548− ++ drg |= [a=@rs] ^- dn (drg:ma a)
4543+++ drg |= [a=@rs] ^- dn (drg:ma a)
45494544```
45504545
45514546#### Examples
45524547
45534548```
4554− > (drg:rs .-3.43e2)
4555− [%d s=%.n e=--0 a=343]
4549+> (drg:rs .-3.43e2)
4550+[%d s=%.n e=--0 a=343]
45564551```
45574552
45584553---
@@ -4574,15 +4569,14 @@ A `@rs`.
45744569#### Source
45754570
45764571```hoon
4577− ++ grd |= [a=dn] ^- @rs (grd:ma a)
4578− --
4572+++ grd |= [a=dn] ^- @rs (grd:ma a)
45794573```
45804574
45814575#### Examples
45824576
45834577```
4584− > (grd:rs [%d s=%.n e=--0 a=343])
4585− .-3.43e2
4578+> (grd:rs [%d s=%.n e=--0 a=343])
4579+.-3.43e2
45864580```
45874581
45884582---
@@ -4593,16 +4587,16 @@ Quadruple-precision fp
45934587
45944588A container core for operations related to quadruple-precision binary floats.
45954589
4596−`++rq` has four rounding modes: round to nearest (`$n`), round up (`$u`), round
4597−down (`$d`), and round to zero (`$z`).
4590+`++rq` has four rounding modes: round to nearest (`%n`), round up (`%u`), round
4591+down (`%d`), and round to zero (`%z`).
45984592
45994593#### Source
46004594
46014595```hoon
4602− ++ rq
4603− ~% %rq +> ~
4604− ^?
4605− |_ r=$?($n $u $d $z)
4596+++ rq
4597+ ~% %rq +> ~
4598+ ^|
4599+ |_ r=$?(%n %u %d %z)
46064600```
46074601
46084602### `++ma:rq`
@@ -4615,8 +4609,8 @@ configuration of the `rq` core.
46154609#### Source
46164610
46174611```hoon
4618− ++ ma
4619− %*(. ff w 15, p 112, b --16.383, r r)
4612+++ ma
4613+ %*(. ff w 15, p 112, b --16.383, r r)
46204614```
46214615
46224616---
@@ -4638,15 +4632,15 @@ An `fn`.
46384632#### Source
46394633
46404634```hoon
4641− ++ sea
4642− |= [a=@rq] (sea:ma a)
4635+++ sea
4636+ |= [a=@rq] (sea:ma a)
46434637```
46444638
46454639#### Examples
46464640
46474641```
4648− > (sea:rq .~~~1.05102e5)
4649− [%f s=%.y e=-96 a=8.327.038.336.574.210.409.756.656.268.214.272]
4642+> (sea:rq .~~~1.05102e5)
4643+[%f s=%.y e=-96 a=8.327.038.336.574.210.409.756.656.268.214.272]
46504644```
46514645
46524646---
@@ -4668,15 +4662,15 @@ A `@rq`, a quad-precision float.
46684662#### Source
46694663
46704664```hoon
4671− ++ bit
4672− |= [a=n] ^- @rq (bit:ma a)
4665+++ bit
4666+ |= [a=fn] ^- @rq (bit:ma a)
46734667```
46744668
46754669#### Examples
46764670
46774671```
4678− > (bit:rq [%f s=%.y e=-96 a=8.327.038.336.574.210.409.756.656.268.214.272])
4679− .~~~1.05102e5
4672+> (bit:rq [%f s=%.y e=-96 a=8.327.038.336.574.210.409.756.656.268.214.272])
4673+.~~~1.05102e5
46804674```
46814675
46824676---
@@ -4700,17 +4694,17 @@ A `@rq`.
47004694#### Source
47014695
47024696```hoon
4703− ++ add ~/ %add
4704− |= [a=@rq b=@rq] ^- @rq
4705− ~_ leaf+"rq-fail"
4706− (add:ma a b)
4697+++ add ~/ %add
4698+ |= [a=@rq b=@rq] ^- @rq
4699+ ~_ leaf+"rq-fail"
4700+ (add:ma a b)
47074701```
47084702
47094703#### Examples
47104704
47114705```
4712− > (add:rq .~~~-1.821e5 .~~~1.05102e5)
4713− .~~~-7.6998e4
4706+> (add:rq .~~~-1.821e5 .~~~1.05102e5)
4707+.~~~-7.6998e4
47144708```
47154709
47164710---
@@ -4734,20 +4728,20 @@ A `@rq`.
47344728#### Source
47354729
47364730```hoon
4737− ++ sub ~/ %sub
4738− |= [a=@rq b=@rq] ^- @rq
4739− ~_ leaf+"rq-fail"
4740− (sub:ma a b)
4731+++ sub ~/ %sub
4732+ |= [a=@rq b=@rq] ^- @rq
4733+ ~_ leaf+"rq-fail"
4734+ (sub:ma a b)
47414735```
47424736
47434737#### Examples
47444738
47454739```
4746− > (sub:rq .~~~1.821e5 .~~~1.05102e5)
4747− .~~~7.6998e4
4740+> (sub:rq .~~~1.821e5 .~~~1.05102e5)
4741+.~~~7.6998e4
47484742
4749− > (sub:rq .~~~1.821e5 .~~~-1.05102e5)
4750− .~~~2.87202e5
4743+> (sub:rq .~~~1.821e5 .~~~-1.05102e5)
4744+.~~~2.87202e5
47514745```
47524746
47534747---
@@ -4771,17 +4765,17 @@ A `@rq`.
47714765#### Source
47724766
47734767```hoon
4774− ++ mul ~/ %mul
4775− |= [a=@rq b=@rq] ^- @rq
4776− ~_ leaf+"rq-fail"
4777− (mul:ma a b)
4768+++ mul ~/ %mul
4769+ |= [a=@rq b=@rq] ^- @rq
4770+ ~_ leaf+"rq-fail"
4771+ (mul:ma a b)
47784772```
47794773
47804774#### Examples
47814775
47824776```
4783− > (mul:rq .~~~1.821e5 .~~~-1.05102e5)
4784− .~~~-1.91390742e10
4777+> (mul:rq .~~~1.821e5 .~~~-1.05102e5)
4778+.~~~-1.91390742e10
47854779```
47864780
47874781---
@@ -4805,17 +4799,17 @@ A `@rq`.
48054799#### Source
48064800
48074801```hoon
4808− ++ div ~/ %div
4809− |= [a=@rq b=@rq] ^- @rq
4810− ~_ leaf+"rq-fail"
4811− (div:ma a b)
4802+++ div ~/ %div
4803+ |= [a=@rq b=@rq] ^- @rq
4804+ ~_ leaf+"rq-fail"
4805+ (div:ma a b)
48124806```
48134807
48144808#### Examples
48154809
48164810```
4817− > (div:rq .~~~1.821e5 .~~~1.05102e3)
4818− .~~~1.732602614602957127361991208540275e2
4811+> (div:rq .~~~1.821e5 .~~~1.05102e3)
4812+.~~~1.732602614602957127361991208540275e2
48194813```
48204814
48214815---
@@ -4842,17 +4836,17 @@ A `@rq`.
48424836#### Source
48434837
48444838```hoon
4845− ++ fma ~/ %fma
4846− |= [a=@rq b=@rq c=@rq] ^- @rq
4847− ~_ leaf+"rq-fail"
4848− (fma:ma a b c)
4839+++ fma ~/ %fma
4840+ |= [a=@rq b=@rq c=@rq] ^- @rq
4841+ ~_ leaf+"rq-fail"
4842+ (fma:ma a b c)
48494843```
48504844
48514845#### Examples
48524846
48534847```
4854− > (fma:rq .~~~1.821e5 .~~~-1.05102e2 .~~~6.2044e7)
4855− .~~~4.29049258e7
4848+> (fma:rq .~~~1.821e5 .~~~-1.05102e2 .~~~6.2044e7)
4849+.~~~4.29049258e7
48564850```
48574851
48584852---
@@ -4874,17 +4868,17 @@ A `@rq`.
48744868#### Source
48754869
48764870```hoon
4877− ++ sqt ~/ %sqt
4878− |= [a=@rq] ^- @rq
4879− ~_ leaf+"rq-fail"
4880− (sqt:ma a)
4871+++ sqt ~/ %sqt
4872+ |= [a=@rq] ^- @rq
4873+ ~_ leaf+"rq-fail"
4874+ (sqt:ma a)
48814875```
48824876
48834877#### Examples
48844878
48854879```
4886− > (sqt:rq .~~~6.2044e7)
4887− .~~~7.876801381271461258959876570289002e3
4880+> (sqt:rq .~~~6.2044e7)
4881+.~~~7.876801381271461258959876570289002e3
48884882```
48894883
48904884---
@@ -4908,20 +4902,20 @@ A `@rq`.
49084902#### Source
49094903
49104904```hoon
4911− ++ lth ~/ %lth
4912− |= [a=@rq b=@rq]
4913− ~_ leaf+"rq-fail"
4914− (lth:ma a b)
4905+++ lth ~/ %lth
4906+ |= [a=@rq b=@rq]
4907+ ~_ leaf+"rq-fail"
4908+ (lth:ma a b)
49154909```
49164910
49174911#### Examples
49184912
49194913```
4920− > (lth:rq .~~~1.2044e7 (mul:rq .~~~9.02e2 .~~~7.114e3))
4921− %.n
4914+> (lth:rq .~~~1.2044e7 (mul:rq .~~~9.02e2 .~~~7.114e3))
4915+%.n
49224916
4923− > (lth:rq .~~~1.2044e7 (mul:rq .~~~9.02e3 .~~~7.114e3))
4924− %.y
4917+> (lth:rq .~~~1.2044e7 (mul:rq .~~~9.02e3 .~~~7.114e3))
4918+%.y
49254919```
49264920
49274921---
@@ -4945,23 +4939,23 @@ A `@rq`.
49454939#### Source
49464940
49474941```hoon
4948− ++ lte ~/ %lte
4949− |= [a=@rq b=@rq]
4950− ~_ leaf+"rq-fail"
4951− (lte:ma a b)
4942+++ lte ~/ %lte
4943+ |= [a=@rq b=@rq]
4944+ ~_ leaf+"rq-fail"
4945+ (lte:ma a b)
49524946```
49534947
49544948#### Examples
49554949
49564950```
4957− > (lte:rq .~~~1.2044e7 (mul:rq .~~~9.02e2 .~~~7.114e3))
4958− %.n
4951+> (lte:rq .~~~1.2044e7 (mul:rq .~~~9.02e2 .~~~7.114e3))
4952+%.n
49594953
4960− > (lte:rq .~~~1.2044e7 (mul:rq .~~~9.02e3 .~~~7.114e3))
4961− %.y
4954+> (lte:rq .~~~1.2044e7 (mul:rq .~~~9.02e3 .~~~7.114e3))
4955+%.y
49624956
4963− > (lte:rq .~~~1.2044e7 .~~~1.2044e7)
4964− %.y
4957+> (lte:rq .~~~1.2044e7 .~~~1.2044e7)
4958+%.y
49654959```
49664960
49674961---
@@ -4985,20 +4979,20 @@ A `@rq`.
49854979#### Source
49864980
49874981```hoon
4988− ++ equ ~/ %equ
4989− |= [a=@rq b=@rq]
4990− ~_ leaf+"rq-fail"
4991− (equ:ma a b)
4982+++ equ ~/ %equ
4983+ |= [a=@rq b=@rq]
4984+ ~_ leaf+"rq-fail"
4985+ (equ:ma a b)
49924986```
49934987
49944988#### Examples
49954989
49964990```
4997− > (equ:rq .~~~1.2044e7 .~~~1.2044e7)
4998− %.y
4991+> (equ:rq .~~~1.2044e7 .~~~1.2044e7)
4992+%.y
49994993
5000− > (equ:rq .~~~2.2044e7 .~~~1.2044e7)
5001− %.n
4994+> (equ:rq .~~~2.2044e7 .~~~1.2044e7)
4995+%.n
50024996```
50034997
50044998---
@@ -5022,23 +5016,23 @@ A `@rq`.
50225016#### Source
50235017
50245018```hoon
5025− ++ gte ~/ %gte
5026− |= [a=@rq b=@rq]
5027− ~_ leaf+"rq-fail"
5028− (gte:ma a b)
5019+++ gte ~/ %gte
5020+ |= [a=@rq b=@rq]
5021+ ~_ leaf+"rq-fail"
5022+ (gte:ma a b)
50295023```
50305024
50315025#### Examples
50325026
50335027```
5034− > (gte:rq .~~~1.2044e7 .~~~1.2044e7)
5035− %.y
5028+> (gte:rq .~~~1.2044e7 .~~~1.2044e7)
5029+%.y
50365030
5037− > (gte:rq .~~~2.2044e7 .~~~1.2044e7)
5038− %.y
5031+> (gte:rq .~~~2.2044e7 .~~~1.2044e7)
5032+%.y
50395033
5040− > (gte:rq .~~~1.2044e7 .~~~2.2044e7)
5041− %.n
5034+> (gte:rq .~~~1.2044e7 .~~~2.2044e7)
5035+%.n
50425036```
50435037
50445038---
@@ -5060,23 +5054,23 @@ A `@rq`.
50605054#### Source
50615055
50625056```hoon
5063− ++ gth ~/ %gth
5064− |= [a=@rq b=@rq]
5065− ~_ leaf+"rq-fail"
5066− (gth:ma a b)
5057+++ gth ~/ %gth
5058+ |= [a=@rq b=@rq]
5059+ ~_ leaf+"rq-fail"
5060+ (gth:ma a b)
50675061```
50685062
50695063#### Examples
50705064
50715065```
5072− > (gth:rq .~~~1.2044e7 .~~~1.2044e7)
5073− %.n
5066+> (gth:rq .~~~1.2044e7 .~~~1.2044e7)
5067+%.n
50745068
5075− > (gth:rq .~~~2.2044e7 .~~~1.2044e7)
5076− %.y
5069+> (gth:rq .~~~2.2044e7 .~~~1.2044e7)
5070+%.y
50775071
5078− > (gth:rq .~~~1.2044e7 .~~~2.2044e7)
5079− %.n
5072+> (gth:rq .~~~1.2044e7 .~~~2.2044e7)
5073+%.n
50805074```
50815075
50825076---
@@ -5098,14 +5092,14 @@ A `@rq`, a quad-precision float.
50985092#### Source
50995093
51005094```hoon
5101− ++ sun |= [a=@u] ^- @rq (sun:ma a)
5095+++ sun |= [a=@u] ^- @rq (sun:ma a)
51025096```
51035097
51045098#### Examples
51055099
51065100```
5107− > (sun:rq 205)
5108− .~~~2.05e2
5101+> (sun:rq 205)
5102+.~~~2.05e2
51095103```
51105104
51115105---
@@ -5127,14 +5121,14 @@ A `@rq`, a quad-precision float.
51275121#### Source
51285122
51295123```hoon
5130− ++ san |= [a=@s] ^- @rq (san:ma a)
5124+++ san |= [a=@s] ^- @rq (san:ma a)
51315125```
51325126
51335127#### Examples
51345128
51355129```
5136− > (san:rq -205)
5137− .~~~-2.05e2
5130+> (san:rq -205)
5131+.~~~-2.05e2
51385132```
51395133
51405134---
@@ -5156,14 +5150,14 @@ A `flag`.
51565150#### Source
51575151
51585152```hoon
5159− ++ sig |= [a=@rq] ^- ? (sig:ma a)
5153+++ sig |= [a=@rq] ^- ? (sig:ma a)
51605154```
51615155
51625156#### Examples
51635157
51645158```
5165− > (sig:rq .~~~-2.05e2)
5166− %.n
5159+> (sig:rq .~~~-2.05e2)
5160+%.n
51675161```
51685162
51695163---
@@ -5185,14 +5179,14 @@ A `@s`, a signed integer.
51855179#### Source
51865180
51875181```hoon
5188− ++ exp |= [a=@rq] ^- @s (exp:ma a)
5182+++ exp |= [a=@rq] ^- @s (exp:ma a)
51895183```
51905184
51915185#### Examples
51925186
51935187```
5194− > (exp:rq .~~~-2.05e2)
5195− --7
5188+> (exp:rq .~~~-2.05e2)
5189+--7
51965190```
51975191
51985192---
@@ -5214,17 +5208,17 @@ A `unit` of `@s`.
52145208#### Source
52155209
52165210```hoon
5217− ++ toi |= [a=@rq] ^- (unit @s) (toi:ma a)
5211+++ toi |= [a=@rq] ^- (unit @s) (toi:ma a)
52185212```
52195213
52205214#### Examples
52215215
52225216```
5223− > (toi:rq .~~~-2.085e2)
5224− [~ u=-208]
5217+> (toi:rq .~~~-2.085e2)
5218+[~ u=-208]
52255219
5226− > (toi:rq .~~~-2.08e2)
5227− [~ u=-208]
5220+> (toi:rq .~~~-2.08e2)
5221+[~ u=-208]
52285222```
52295223
52305224---
@@ -5247,17 +5241,17 @@ A `dn`.
52475241#### Source
52485242
52495243```hoon
5250− ++ drg |= [a=@rq] ^- dn (drg:ma a) :: @rq to decimal float
5244+++ drg |= [a=@rq] ^- dn (drg:ma a)
52515245```
52525246
52535247#### Examples
52545248
52555249```
5256− > (drg:rq .~~~-2.085e2)
5257− [%d s=%.n e=-1 a=2.085]
5250+> (drg:rq .~~~-2.085e2)
5251+[%d s=%.n e=-1 a=2.085]
52585252
5259− > (drg:rq .~~~-2.08e2)
5260− [%d s=%.n e=--0 a=208]
5253+> (drg:rq .~~~-2.08e2)
5254+[%d s=%.n e=--0 a=208]
52615255```
52625256
52635257---
@@ -5281,15 +5275,14 @@ A `@rq`, a quad-precision float.
52815275#### Source
52825276
52835277```hoon
5284− ++ grd |= [a=dn] ^- @rq (grd:ma a)
5285− --
5278+++ grd |= [a=dn] ^- @rq (grd:ma a)
52865279```
52875280
52885281#### Examples
52895282
52905283```
5291− > (grd:rq [%d s=%.n e=--0 a=343])
5292− .~~~-3.43e2
5284+> (grd:rq [%d s=%.n e=--0 a=343])
5285+.~~~-3.43e2
52935286```
52945287
52955288---
@@ -5300,16 +5293,16 @@ Half-precision fp
53005293
53015294A container core for operations related to half-precision binary floats.
53025295
5303−`++rh` has four rounding modes: round to nearest (`$n`), round up (`$u`), round
5304−down (`$d`), and round to zero (`$z`).
5296+`++rh` has four rounding modes: round to nearest (`%n`), round up (`%u`), round
5297+down (`%d`), and round to zero (`%z`).
53055298
53065299#### Source
53075300
53085301```hoon
5309− ++ rh
5310− ~% %rh +> ~
5311− ^?
5312− |_ r=$?($n $u $d $z)
5302+++ rh
5303+ ~% %rh +> ~
5304+ ^|
5305+ |_ r=$?(%n %u %d %z)
53135306```
53145307
53155308---
@@ -5324,8 +5317,8 @@ configuration of the `rh` core.
53245317#### Source
53255318
53265319```hoon
5327− ++ ma
5328− %*(. ff w 5, p 10, b --15, r r)
5320+++ ma
5321+ %*(. ff w 5, p 10, b --15, r r)
53295322```
53305323
53315324---
@@ -5347,15 +5340,15 @@ An `fn`.
53475340#### Source
53485341
53495342```hoon
5350− ++ sea
5351− |= [a=@rh] (sea:ma a)
5343+++ sea
5344+ |= [a=@rh] (sea:ma a)
53525345```
53535346
53545347#### Examples
53555348
53565349```
5357− > (sea:rh .~~1.22e-5)
5358− [%f s=%.y e=-24 a=205]
5350+> (sea:rh .~~1.22e-5)
5351+[%f s=%.y e=-24 a=205]
53595352```
53605353
53615354---
@@ -5377,15 +5370,15 @@ A `@rh`, a half-precision float.
53775370#### Source
53785371
53795372```hoon
5380− ++ bit
5381− |= [a=fn] ^- @rh (bit:ma a)
5373+++ bit
5374+ |= [a=fn] ^- @rh (bit:ma a)
53825375```
53835376
53845377#### Examples
53855378
53865379```
5387− > (bit:rh [%f s=%.y e=-24 a=205])
5388− .~~1.22e-5
5380+> (bit:rh [%f s=%.y e=-24 a=205])
5381+.~~1.22e-5
53895382```
53905383
53915384---
@@ -5407,17 +5400,17 @@ A `@rh`.
54075400#### Source
54085401
54095402```hoon
5410− ++ add ~/ %add
5411− |= [a=@rh b=@rh] ^- @rh
5412− ~_ leaf+"rh-fail"
5413− (add:ma a b)
5403+++ add ~/ %add
5404+ |= [a=@rh b=@rh] ^- @rh
5405+ ~_ leaf+"rh-fail"
5406+ (add:ma a b)
54145407```
54155408
54165409#### Examples
54175410
54185411```
5419− > (add:rh .~~1.82e2 .~~1.02e2)
5420− .~~2.84e2
5412+> (add:rh .~~1.82e2 .~~1.02e2)
5413+.~~2.84e2
54215414```
54225415
54235416---
@@ -5441,20 +5434,20 @@ A `@rh`.
54415434#### Source
54425435
54435436```hoon
5444− ++ sub ~/ %sub
5445− |= [a=@rh b=@rh] ^- @rh
5446− ~_ leaf+"rh-fail"
5447− (sub:ma a b)
5437+++ sub ~/ %sub
5438+ |= [a=@rh b=@rh] ^- @rh
5439+ ~_ leaf+"rh-fail"
5440+ (sub:ma a b)
54485441```
54495442
54505443#### Examples
54515444
54525445```
5453− > (sub:rh .~~1.821e2 .~~1.051e2)
5454− .~~7.7e1
5446+> (sub:rh .~~1.821e2 .~~1.051e2)
5447+.~~7.7e1
54555448
5456− > (sub:rh .~~1.821e2 .~~6.051e2)
5457− .~~-4.228e2
5449+> (sub:rh .~~1.821e2 .~~6.051e2)
5450+.~~-4.228e2
54585451```
54595452
54605453---
@@ -5478,17 +5471,17 @@ A `@rh`.
54785471#### Source
54795472
54805473```hoon
5481− ++ mul ~/ %mul
5482− |= [a=@rh b=@rh] ^- @rh
5483− ~_ leaf+"rh-fail"
5484− (mul:ma a b)
5474+++ mul ~/ %mul
5475+ |= [a=@rh b=@rh] ^- @rh
5476+ ~_ leaf+"rh-fail"
5477+ (mul:ma a b)
54855478```
54865479
54875480#### Examples
54885481
54895482```
5490− > (mul:rh .~~1.821e1 .~~-1.05102e2)
5491− .~~-1.913e3
5483+> (mul:rh .~~1.821e1 .~~-1.05102e2)
5484+.~~-1.913e3
54925485```
54935486
54945487---
@@ -5512,17 +5505,17 @@ A `@rh`.
55125505#### Source
55135506
55145507```hoon
5515− ++ div ~/ %div
5516− |= [a=@rh b=@rh] ^- @rh
5517− ~_ leaf+"rh-fail"
5518− (div:ma a b)
5508+++ div ~/ %div
5509+ |= [a=@rh b=@rh] ^- @rh
5510+ ~_ leaf+"rh-fail"
5511+ (div:ma a b)
55195512```
55205513
55215514#### examples
55225515
55235516```
5524− > (div:rh .~~1.821e3 .~~1.05102e2)
5525− .~~1.731e1
5517+> (div:rh .~~1.821e3 .~~1.05102e2)
5518+.~~1.731e1
55265519```
55275520
55285521---
@@ -5549,17 +5542,17 @@ A `@rh`.
55495542#### Source
55505543
55515544```hoon
5552− ++ fma ~/ %fma
5553− |= [a=@rh b=@rh c=@rh] ^- @rh
5554− ~_ leaf+"rh-fail"
5555− (fma:ma a b c)
5545+++ fma ~/ %fma
5546+ |= [a=@rh b=@rh c=@rh] ^- @rh
5547+ ~_ leaf+"rh-fail"
5548+ (fma:ma a b c)
55565549```
55575550
55585551#### Examples
55595552
55605553```
5561− > (fma:rh .~~1.821e4 .~~-1.05102e2 .~~6.2044e3)
5562− .~~-6.55e4
5554+> (fma:rh .~~1.821e4 .~~-1.05102e2 .~~6.2044e3)
5555+.~~-6.55e4
55635556```
55645557
55655558---
@@ -5581,17 +5574,17 @@ A `@rh`.
55815574#### Source
55825575
55835576```hoon
5584− ++ sqt ~/ %sqt
5585− |= [a=@rh] ^- @rh
5586− ~_ leaf+"rh-fail"
5587− (sqt:ma a)
5577+++ sqt ~/ %sqt
5578+ |= [a=@rh] ^- @rh
5579+ ~_ leaf+"rh-fail"
5580+ (sqt:ma a)
55885581```
55895582
5590−#### Source
5583+#### Example
55915584
55925585```hoon
5593− > (sqt:rh .~~6.24e4)
5594− .~~2.498e2
5586+> (sqt:rh .~~6.24e4)
5587+.~~2.498e2
55955588```
55965589
55975590---
@@ -5615,20 +5608,20 @@ A `@rh`.
56155608#### Source
56165609
56175610```hoon
5618− ++ lth ~/ %lth
5619− |= [a=@rh b=@rh]
5620− ~_ leaf+"rh-fail"
5621− (lth:ma a b)
5611+++ lth ~/ %lth
5612+ |= [a=@rh b=@rh]
5613+ ~_ leaf+"rh-fail"
5614+ (lth:ma a b)
56225615```
56235616
56245617#### Examples
56255618
56265619```
5627− > (lth:rh .~~1.2e5 (mul:rh .~~9.02e2 .~~7.114e2))
5628− %.n
5620+> (lth:rh .~~1.2e5 (mul:rh .~~9.02e2 .~~7.114e2))
5621+%.n
56295622
5630− > (lth:rh .~~1.2e3 (mul:rh .~~9.02e1 .~~7.114e2))
5631− %.y
5623+> (lth:rh .~~1.2e3 (mul:rh .~~9.02e1 .~~7.114e2))
5624+%.y
56325625```
56335626
56345627---
@@ -5652,23 +5645,23 @@ A `@rh`.
56525645#### Source
56535646
56545647```hoon
5655− ++ lte ~/ %lte
5656− |= [a=@rh b=@rh]
5657− ~_ leaf+"rh-fail"
5658− (lte:ma a b)
5648+++ lte ~/ %lte
5649+ |= [a=@rh b=@rh]
5650+ ~_ leaf+"rh-fail"
5651+ (lte:ma a b)
56595652```
56605653
56615654#### Examples
56625655
56635656```
5664− > (lte:rh .~~1.2e5 (mul:rh .~~9.02e2 .~~7.114e2))
5665− %.n
5657+> (lte:rh .~~1.2e5 (mul:rh .~~9.02e2 .~~7.114e2))
5658+%.n
56665659
5667− > (lte:rh .~~1.2e3 (mul:rh .~~9.02e1 .~~7.114e2))
5668− %.y
5660+> (lte:rh .~~1.2e3 (mul:rh .~~9.02e1 .~~7.114e2))
5661+%.y
56695662
5670− > (lte:rh .~~1.2e3 .~~1.2e3)
5671− %.y
5663+> (lte:rh .~~1.2e3 .~~1.2e3)
5664+%.y
56725665```
56735666
56745667---
@@ -5692,20 +5685,20 @@ A `@rh`.
56925685#### Source
56935686
56945687```hoon
5695− ++ equ ~/ %equ
5696− |= [a=@rh b=@rh]
5697− ~_ leaf+"rh-fail"
5698− (equ:ma a b)
5688+++ equ ~/ %equ
5689+ |= [a=@rh b=@rh]
5690+ ~_ leaf+"rh-fail"
5691+ (equ:ma a b)
56995692```
57005693
57015694#### Examples
57025695
57035696```
5704− > (equ:rh .~~1.24e4 .~~1.24e4)
5705− %.y
5697+> (equ:rh .~~1.24e4 .~~1.24e4)
5698+%.y
57065699
5707− > (equ:rh .~~2.24e4 .~~1.24e4)
5708− %.n
5700+> (equ:rh .~~2.24e4 .~~1.24e4)
5701+%.n
57095702```
57105703
57115704---
@@ -5729,23 +5722,23 @@ A `@rh`.
57295722#### Source
57305723
57315724```hoon
5732− ++ gte ~/ %gte
5733− |= [a=@rh b=@rh]
5734− ~_ leaf+"rh-fail"
5735− (gte:ma a b)
5725+++ gte ~/ %gte
5726+ |= [a=@rh b=@rh]
5727+ ~_ leaf+"rh-fail"
5728+ (gte:ma a b)
57365729```
57375730
57385731#### Examples
57395732
57405733```
5741− > (gte:rh .~~1.24e4 .~~1.24e4)
5742− %.y
5734+> (gte:rh .~~1.24e4 .~~1.24e4)
5735+%.y
57435736
5744− > (gte:rh .~~2.24e4 .~~1.24e4)
5745− %.y
5737+> (gte:rh .~~2.24e4 .~~1.24e4)
5738+%.y
57465739
5747− > (gte:rh .~~1.24e4 .~~2.24e4)
5748− %.n
5740+> (gte:rh .~~1.24e4 .~~2.24e4)
5741+%.n
57495742```
57505743
57515744---
@@ -5767,23 +5760,23 @@ A `@rh`.
57675760#### Source
57685761
57695762```hoon
5770− ++ gth ~/ %gth
5771− |= [a=@rh b=@rh]
5772− ~_ leaf+"rh-fail"
5773− (gth:ma a b)
5763+++ gth ~/ %gth
5764+ |= [a=@rh b=@rh]
5765+ ~_ leaf+"rh-fail"
5766+ (gth:ma a b)
57745767```
57755768
57765769#### Examples
57775770
57785771```
5779− > (gth:rh .~~1.24e4 .~~1.244e4)
5780− %.n
5772+> (gth:rh .~~1.24e4 .~~1.244e4)
5773+%.n
57815774
5782− > (gth:rh .~~2.24e4 .~~1.24e4)
5783− %.y
5775+> (gth:rh .~~2.24e4 .~~1.24e4)
5776+%.y
57845777
5785− > (gth:rh .~~1.24e4 .~~2.24e4)
5786− %.n
5778+> (gth:rh .~~1.24e4 .~~2.24e4)
5779+%.n
57875780```
57885781
57895782---
@@ -5805,14 +5798,15 @@ A `@rs`, a single-precision float.
58055798#### Source
58065799
58075800```hoon
5808− ++ tos |= {a/@rh} (bit:rs (sea a))
5801+++ tos
5802+ |= [a=@rh] (bit:rs (sea a))
58095803```
58105804
58115805#### Examples
58125806
58135807```
5814− > (tos:rh .~~2.5e2)
5815− .2.5e2
5808+> (tos:rh .~~2.5e2)
5809+.2.5e2
58165810```
58175811
58185812---
@@ -5834,14 +5828,15 @@ A `@rh`, a half-precision float.
58345828#### Source
58355829
58365830```hoon
5837− ++ fos |= {a/@rs} (bit (sea:rs a))
5831+++ fos
5832+ |= [a=@rs] (bit (sea:rs a))
58385833```
58395834
58405835#### Examples
58415836
58425837```
5843− > (fos:rh .2.5e2)
5844− .~~2.5e2
5838+> (fos:rh .2.5e2)
5839+.~~2.5e2
58455840```
58465841
58475842---
@@ -5863,14 +5858,14 @@ A `@rh`, a half-precision float.
58635858#### Source
58645859
58655860```hoon
5866− ++ sun |= [a=@u] ^- @rh (sun:ma a)
5861+++ sun |= [a=@u] ^- @rh (sun:ma a)
58675862```
58685863
58695864#### Examples
58705865
58715866```
5872− > (sun:rh 205)
5873− .~~2.05e2
5867+> (sun:rh 205)
5868+.~~2.05e2
58745869```
58755870
58765871---
@@ -5892,14 +5887,14 @@ A `@rh`, a half-precision float.
58925887#### Source
58935888
58945889```hoon
5895− ++ san |= [a=@s] ^- @rh (san:ma a)
5890+++ san |= [a=@s] ^- @rh (san:ma a)
58965891```
58975892
58985893#### Examples
58995894
59005895```
5901− > (san:rh -205)
5902− .~~-2.05e2
5896+> (san:rh -205)
5897+.~~-2.05e2
59035898```
59045899
59055900---
@@ -5921,14 +5916,14 @@ A `flag`.
59215916#### Source
59225917
59235918```hoon
5924− ++ sig |= [a=@rh] ^- ? (sig:ma a)
5919+++ sig |= [a=@rh] ^- ? (sig:ma a)
59255920```
59265921
59275922#### Examples
59285923
59295924```
5930− > (sig:rh .~~-2.05e2)
5931− %.n
5925+> (sig:rh .~~-2.05e2)
5926+%.n
59325927```
59335928
59345929---
@@ -5950,14 +5945,14 @@ A `@s`, a signed integer.
59505945#### Source
59515946
59525947```hoon
5953− ++ exp |= [a=@rh] ^- @s (exp:ma a)
5948+++ exp |= [a=@rh] ^- @s (exp:ma a)
59545949```
59555950
59565951#### Examples
59575952
59585953```
5959− > (exp:rh .~~-2.05e2)
5960− --7
5954+> (exp:rh .~~-2.05e2)
5955+--7
59615956```
59625957
59635958---
@@ -5979,17 +5974,17 @@ A `unit` of `@s`.
59795974#### Source
59805975
59815976```hoon
5982− ++ toi |= [a=@rh] ^- (unit @s) (toi:ma a)
5977+++ toi |= [a=@rh] ^- (unit @s) (toi:ma a)
59835978```
59845979
59855980#### Examples
59865981
59875982```
5988− > (toi:rh .~~-2.085e2)
5989− [~ u=-208]
5983+> (toi:rh .~~-2.085e2)
5984+[~ u=-208]
59905985
5991− > (toi:rh .~~-2.08e2)
5992− [~ u=-208]
5986+> (toi:rh .~~-2.08e2)
5987+[~ u=-208]
59935988```
59945989
59955990---
@@ -6012,17 +6007,17 @@ A `dn`.
60126007#### Source
60136008
60146009```hoon
6015− ++ drg |= [a=@rh] ^- dn (drg:ma a)
6010+++ drg |= [a=@rh] ^- dn (drg:ma a)
60166011```
60176012
60186013#### Examples
60196014
60206015```
6021− > (drg:rh .~~-2.085e2)
6022− [%d s=%.n e=-1 a=2.085]
6016+> (drg:rh .~~-2.085e2)
6017+[%d s=%.n e=-1 a=2.085]
60236018
6024− > (drg:rh .~~-2.08e2)
6025− [%d s=%.n e=--0 a=208]
6019+> (drg:rh .~~-2.08e2)
6020+[%d s=%.n e=--0 a=208]
60266021```
60276022
60286023---
@@ -6046,15 +6041,14 @@ A `@rh`, a a half-precision float.
60466041#### Source
60476042
60486043```hoon
6049− ++ grd |= [a=dn] ^- @rh (grd:ma a)
6050− --
6044+++ grd |= [a=dn] ^- @rh (grd:ma a)
60516045```
60526046
60536047#### Examples
60546048
60556049```
6056− > (grd:rh [%d s=%.n e=--0 a=343])
6057− .~~-3.43e2
6050+> (grd:rh [%d s=%.n e=--0 a=343])
6051+.~~-3.43e2
60586052```
60596053
60606054---