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

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

elem	Numeric.Rounded.Interval
Empty	Numeric.Rounded.Interval
empty	Numeric.Rounded.Interval
encodeFloat'	Numeric.Rounded.Simple
expm1_
1 (Function)	Numeric.Rounded
2 (Function)	Numeric.Rounded.Simple
exponent'	Numeric.Rounded.Simple
exp_
1 (Function)	Numeric.Rounded
2 (Function)	Numeric.Rounded.Simple