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

Index - /

/=!Numeric.Rounded.Interval
/=?Numeric.Rounded.Interval