Eisenstein_integer loading ...