1191 right_subtract(Type left, const Type& right_minuend)  in right_subtract()  argument
1193     if(exclusive_less(left, right_minuend))  in right_subtract()
1195     return construct<Type>(lower(left), lower(right_minuend));  in right_subtract()
1200 right_subtract(Type left, const Type& right_minuend)  in right_subtract()  argument
1202     if(exclusive_less(left, right_minuend))  in right_subtract()
1204     else if(lower_less_equal(right_minuend, left))  in right_subtract()
1207     return construct<Type>(lower(left), domain_prior<Type>(lower(right_minuend)));  in right_subtract()
1212 right_subtract(Type left, const Type& right_minuend)  in right_subtract()  argument
1214     if(exclusive_less(left, right_minuend))  in right_subtract()
1217     return construct<Type>(lower(left), domain_next<Type>(lower(right_minuend)));  in right_subtract()
1222 right_subtract(Type left, const Type& right_minuend)  in right_subtract()  argument
1224     if(exclusive_less(left, right_minuend))  in right_subtract()
1228             ( bounded_lower(left), reverse_bounded_lower(right_minuend) );  in right_subtract()