Modular_elliptic_curve loading ...