Very simple fix for issue #8235

In solve_poly_inequality, the real roots of a polynomial are sorted. When the
roots are instances of RootOf, this will invoke bool() on an instance of
Relational, which raises a TypeError. One fix is to cast all the roots as
floats for comparison.

Fixes #8235
add newline