Algebraic_number loading ...