@@ -1065,7 +1065,7 @@ The default value of `d` is `%d`.
1068−### `++emn:si`
1068+### `++emn:fl`
1070Minimum exponent
1070Minimum exponent
@@ -2079,7 +2079,7 @@ A `unit` of @s.
2082−### `+ff`
2082+### `++ff`
2084IEEE-754 Formatting
2084IEEE-754 Formatting
@@ -2110,7 +2110,7 @@ Container core for IEEE-754 formatting operations.
2111#### Discussion
2111#### Discussion
2113−`+ff` has no use outside of the functionality provided to other cores: `++rd`,
2113+`++ff` has no use outside of the functionality provided to other cores: `++rd`,
2114`++rs`, `++rq`, and `++rh`. It's not intended to be used directly; it's just
2114`++rs`, `++rq`, and `++rh`. It's not intended to be used directly; it's just
2115meant to power those cores.
2115meant to power those cores.
@@ -2187,7 +2187,7 @@ configuration of the `ff` core.
2187internal use in other cores.
2187internal use in other cores.
2190−### `++sea`
2190+### `++sea:ff`
2192`@r` to `fn`
2192`@r` to `fn`
@@ -2325,7 +2325,7 @@ A `flag`.
2328−### `++exp`
2328+### `++exp:ff`
2330Get exponent
2330Get exponent
@@ -2355,7 +2355,7 @@ A signed integer.
2358−### `++add`
2358+### `++add:ff`
@@ -2419,7 +2419,7 @@ A `@r`, an IEEE float.
2422−### `mul:ff`
2422+### `++mul:ff`
@@ -2616,7 +2616,7 @@ A `flag`.
2619−### `equ:ff`
2619+### `++equ:ff`
@@ -2867,7 +2867,7 @@ A `@r`, an IEEE float.
2870−### `rlyd`
2870+### `++rlyd`
2872Prep `@rd` for print
2872Prep `@rd` for print
@@ -3143,7 +3143,7 @@ configuration of the `rd` core.
3146−### `sea:rd`
3146+### `++sea:rd`
3148`@rd` to `fn`
3148`@rd` to `fn`
@@ -3162,7 +3162,7 @@ Converts `a` from a double-precision binary float to `fn`.
3165−### `bit:rd`
3165+### `++bit:rd`
3167`fn` to `@rd`
3167`fn` to `@rd`
@@ -3191,7 +3191,7 @@ A `@rd`, a double-precision float.
3194−### `add:rd`
3194+### `++add:rd`
@@ -3224,7 +3224,7 @@ A `@rd`.
3227−### `sub:rd`
3227+### `++sub:rd`
@@ -3257,7 +3257,7 @@ A `@rd`.
3260−### `sub:rd`
3260+### `++mul:rd`
@@ -3290,7 +3290,7 @@ A `@rd`.
3293−### `div:rd`
3293+### `++div:rd`
@@ -3362,7 +3362,7 @@ A `@rd`.
3365−### `+sqt:fr`
3365+### `++sqt:rd`
3367Square root
3367Square root
@@ -3392,7 +3392,7 @@ A `@rd`.
3395−### `lth:rd`
3395+### `++lth:rd`
3397Less than
3397Less than
@@ -3470,7 +3470,7 @@ A `@rd`.
3473−### `equ:rd`
3473+### `++equ:rd`
@@ -3576,14 +3576,14 @@ A `@rd`.
3576#### Examples
3576#### Examples
3579− > (gte:rd .~7.94099e2 .~1.2246e3)
3579+ > (gth:rd .~7.94099e2 .~1.2246e3)
3582− > (gte:rd .~7.94099e2 .~1.2246e2)
3582+ > (gth:rd .~7.94099e2 .~1.2246e2)
3585− > (gte:rd .~1.2246e2 .~1.2246e2)
3585+ > (gth:rd .~1.2246e2 .~1.2246e2)
@@ -3671,7 +3671,7 @@ A `flag`.
3674−### `exp:rd`
3674+### `++exp:rd`
3676Get exponent
3676Get exponent
@@ -3804,7 +3804,7 @@ down (`$d`), and round to zero (`$z`).
3807−### `ma:rs`
3807+### `++ma:rs`
3809Initialize `ff`
3809Initialize `ff`
@@ -3828,7 +3828,7 @@ configuration of the `rs` core.
3831−### `sea:rs`
3831+### `++sea:rs`
3833`@rs` to `fn`
3833`@rs` to `fn`
@@ -3857,7 +3857,7 @@ An `fn`.
3860−### `bit:rs`
3860+### `++bit:rs`
3862`fn` to `@rs`
3862`fn` to `@rs`
@@ -4075,7 +4075,7 @@ A `@rs`.
4078−### `lth:rs`
4078+### `++lth:rs`
4080Less than
4080Less than
@@ -4147,7 +4147,7 @@ A `@rs`.
4150−### `equ:rs`
4150+### `++equ:rs`
@@ -4344,7 +4344,7 @@ A `flag`.
4347−### `exp:rs`
4347+### `++exp:rs`
4349Get exponent
4349Get exponent
@@ -4651,7 +4651,7 @@ A `@rq`.
4654−### `div:rq`
4654+### `++div:rq`
@@ -4684,7 +4684,7 @@ A `@rq`.
4687−### `fma:rq`
4687+### `++fma:rq`
4689Fused multiply-add
4689Fused multiply-add
@@ -4720,7 +4720,7 @@ A `@rq`.
4723−#### Source
4723+### `++sqt:rq`
4725Square root
4725Square root
@@ -4788,7 +4788,7 @@ A `@rq`.
4791−### `lte:rq`
4791+### `++lte:rq`
4793Less than or equal
4793Less than or equal
@@ -5337,7 +5337,7 @@ A `@rh`.
5340−### `div:rh`
5340+### `++div:rh`
@@ -5370,7 +5370,7 @@ A `@rh`.
5373−### `fma:rh`
5373+### `++fma:rh`
5375Fused multiply-add
5375Fused multiply-add
@@ -5406,7 +5406,7 @@ A `@rh`.
5409−#### Source
5409+### `++sqt:rh`
5411Square root
5411Square root
@@ -5473,7 +5473,7 @@ A `@rh`.
5476−### `lte:rh`
5476+### `++lte:rh`
5478Less than or equal
5478Less than or equal
@@ -5501,10 +5501,10 @@ A `@rh`.
5501#### Examples
5501#### Examples
5504− > (lth:rh .~~1.2e5 (mul:rh .~~9.02e2 .~~7.114e2))
5504+ > (lte:rh .~~1.2e5 (mul:rh .~~9.02e2 .~~7.114e2))
5507− > (lth:rh .~~1.2e3 (mul:rh .~~9.02e1 .~~7.114e2))
5507+ > (lte:rh .~~1.2e3 (mul:rh .~~9.02e1 .~~7.114e2))
5510 > (lte:rh .~~1.2e3 .~~1.2e3)
5510 > (lte:rh .~~1.2e3 .~~1.2e3)
@@ -5736,7 +5736,7 @@ A `@s`, a signed integer.
5739−### `toi:rh`
5739+### `++toi:rh`
5741Round to integer
5741Round to integer