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

Index - >

>!Numeric.Rounded.Interval
>=!Numeric.Rounded.Interval
>=?Numeric.Rounded.Interval
>?Numeric.Rounded.Interval