Simple_rational_approximation