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

Index - D

decodeFloat' 
1 (Function)Numeric.Rounded
2 (Function)Numeric.Rounded.Simple
decreasingNumeric.Rounded.Interval
distanceNumeric.Rounded.Interval
divNegativeNumeric.Rounded.Interval
divNonZeroNumeric.Rounded.Interval
divPositiveNumeric.Rounded.Interval
divZeroNumeric.Rounded.Interval
div_Numeric.Rounded.Simple