procedure rdown(var x: hreal);
begin { rdown }
  with x do if si<0 then rtowinfty(x)
  else if si>0 then rtowzero(x)
  else x:=negminhreal;
end { rdown };

