procedure sunion(var x1,x2,x3: scalar);
begin { sunion }
  if irdiff(x1.l,x2.l)<0 then x3.l:=x1.l else x3.l:=x2.l;
  if irdiff(x1.u,x2.u)>0 then x3.u:=x1.u else x3.u:=x2.u;
end { sunion };

