Affinely_extended_real_number_system loading ...