Projectively_extended_real_number_system loading ...