RootOf.is_number is True
allow general (incomplete) solving of inequalities
change assertion to ValueError
Revert "discard (-oo, oo) from Intersection"

This reverts commit b607b8177e281aaca0749c1403e9917179de2209.
quick