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

Index - .

.*.Numeric.Rounded
.+.Numeric.Rounded
.-.Numeric.Rounded
...Numeric.Rounded.Interval