procedure rdiff(var x1,x2,x3: hreal);
begin { rdiff }
  x2.si:=-x2.si;
  rsum(x1,x2,x3);
  x2.si:=-x2.si;
end { rdiff };

