fix solve_univariate_real doctest