RootOf.is_number is True
allow general (incomplete) solving of inequalities