type Interval is record
   Lower : Float;
   Upper : Float;
end record;