Algebraic_integer loading ...