Don: > It is indeed a common floating-point bug. I have opened an ER: https://d.puremagic.com/issues/show_bug.cgi?id=12452 Bye, bearophile