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

Index - I

INumeric.Rounded.Interval
increasingNumeric.Rounded.Interval
infNumeric.Rounded.Interval
inflateNumeric.Rounded.Interval
intersectionNumeric.Rounded.Interval
IntervalNumeric.Rounded.Interval
intervalNumeric.Rounded.Interval
isDenormalized'Numeric.Rounded.Simple
isIEEE'Numeric.Rounded.Simple
isInfinite'Numeric.Rounded.Simple
isNaN'Numeric.Rounded.Simple
isNegativeZero'Numeric.Rounded.Simple
isSubsetOfNumeric.Rounded.Interval