Best_rational_approximation loading ...