procedure r_diff(u: boolean; var x1,x2,x3: hreal);
begin { r_diff }
  x2.si:=-x2.si;
  r_sum(u,x1,x2,x3);
  x2.si:=-x2.si;
end { r_diff };

