Number_theoretic loading ...