function sle(var x1,x2: scalar): boolean;
begin { sle }
  sle:=(irdiff(x1.u,x2.l)<=0);
end { sle };

