Real_quadratic_field loading ...