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

Index - <

<!Numeric.Rounded.Interval
<=!Numeric.Rounded.Interval
<=?Numeric.Rounded.Interval
<?Numeric.Rounded.Interval