Extended_real_number_line loading ...