solve_univariate -> solve_univariate_real