Danke für die Erklärung, jetzt
verstehe ich es zumindest.
Und ja, ein Floating Point-Error wäre mir auf jeden Fall lieber als eine
AV.
PS: Dein Kommentar in
https://quality.embarcadero.com/browse/RSP-19091
ist wohl nochmal einen neuen Eintrag wert, die haben das Ticket danach einfach zu gemacht