Rational_number_field loading ...