solve_univariate_inequality: don't assume that solve returns reals

closes #2794