solve_univariate: use is_unbounded

    use is_unbounded instead of in [-oo, oo, zoo]