I guess it should be `S.Reals` or `Interval(-oo, oo)`.