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

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

I	Numeric.Rounded.Interval
increasing	Numeric.Rounded.Interval
inf	Numeric.Rounded.Interval
inflate	Numeric.Rounded.Interval
intersection	Numeric.Rounded.Interval
Interval	Numeric.Rounded.Interval
interval	Numeric.Rounded.Interval
isDenormalized'	Numeric.Rounded.Simple
isIEEE'	Numeric.Rounded.Simple
isInfinite'	Numeric.Rounded.Simple
isNaN'	Numeric.Rounded.Simple
isNegativeZero'	Numeric.Rounded.Simple
isSubsetOf	Numeric.Rounded.Interval