6463: fix ordering of RealInterval.a and b
RootOf: raise ValueError if no index is obtained
6463
RootOf: _eval_Eq is defined
ok
quick