Quadratic_number_field loading ...