procedure ir_div(u: boolean; i: integer; var x: hreal);
begin { ir_div }
  irdiv(i,x);
  if trunc then begin
    if u then begin
      if x.si>0 then rtowinfty(x);
    end
    else begin
      if x.si<0 then rtowinfty(x);
    end;
  end;
end { ir_div };

