Diophantine_approximation loading ...