Diophantine_approximations loading ...