rounded-0.1: Correctly-rounded arbitrary-precision floating-point arithmetic (Index - D)

rounded-0.1: Correctly-rounded arbitrary-precision floating-point arithmetic

A
B
C
D
E
F
H
I
K
L
M
N
P
R
S
T
U
W
!
+
.
/
<
=
>
All

Index - D

decodeFloat'
1 (Function)	Numeric.Rounded
2 (Function)	Numeric.Rounded.Simple
decreasing	Numeric.Rounded.Interval
distance	Numeric.Rounded.Interval
divNegative	Numeric.Rounded.Interval
divNonZero	Numeric.Rounded.Interval
divPositive	Numeric.Rounded.Interval
divZero	Numeric.Rounded.Interval
div_	Numeric.Rounded.Simple