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

Index - +

+/-Numeric.Rounded.Interval