
  TYPE
    clt$real_number_class = (clc$real_indefinite, clc$real_negative_infinite,
          clc$real_negative_standard, clc$real_zero,
          clc$real_positive_standard, clc$real_positive_infinite);

