MODULE IVL_DEF
      TYPE INTERVAL
         SEQUENCE
         DOUBLE PRECISION LOWER, UPPER
      END TYPE INTERVAL
END MODULE IVL_DEF