Zum Beispiel hatte ich zunächst diesen Code:

function(x,y){
  let z=x+y;
  .
  .
  .
}

Später entdeckte ich, dass y dasselbe sein muss wie x. Ich wollte x+y in x * 2 umwandeln, musste aber sicherstellen, dass sich das gesamte Programm vor und nach der Rekonstruktion gleich verhält. Ist x+x dasselbe wie x*2? Ich frage mich, ob + und * unterschiedliche Berechnungsmechanismen verwenden, was zu unterschiedlichen Rundungsergebnissen führt.

Ich habe getestet:

for(let i=0.01;i<100;i++){
  if(i+i!=i*2){
    console.log(i);
    break;
  }
}

Scheint für bestimmte Bereiche von i korrekt zu sein, bin mir aber nicht sicher, ob es für alle Gleitkommazahlen korrekt ist.