var Dx: real;
begin

/* fabs(Dx) > 0 */
if (Dx > 0 or Dx < 0) then
 assume not Dx == 0;
endif;

end