 TYPE
    fdt$valid_real_range = record
      maximum_real: real,
      minimum_real: real,
    recend;
