Danke ...

[Kalle_Worms]

für eure Hilfe. Habe mit Rundungsfehlern natürlich nur bei Multiplikation und Division gerechnet.

Ist das ungenaue Addieren und Subtrhieren eine Spezialität von JavaScript?

Jedenfalls runde ich nun, und es klappt:

// OHNE RUNDUNG UNGENAU WG. HEXAZAHL:
  if      ( xvon < xbis ) xvon = Math.round(( xvon +diff )* 100 ) / 100;
  else if ( xvon > xbis ) xvon = Math.round(( xvon -diff )* 100 ) / 100;
  window.document.images[name].style.marginLeft = xvon+'%';
  if ( xvon == xbis ) {
  ...
  }