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

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 - <

<!	Numeric.Rounded.Interval
<=!	Numeric.Rounded.Interval
<=?	Numeric.Rounded.Interval
<?	Numeric.Rounded.Interval