RootOf(...) in S.Reals
Move filtering of complex roots to intersect(S.Reals)