[PPL-devel] [Fwd: Handling of floating point numbers changed from GMP 4.1.4 to GMP 4.2.1]

-------- Original Message -------- Subject: Handling of floating point numbers changed from GMP 4.1.4 to GMP 4.2.1 Date: Wed, 12 Sep 2007 18:22:25 +0200 From: Torbjorn Granlund tg@swox.com To: gmp-discuss@swox.com References: 86r6l4rsyb.fsf@king.swox.se

Did you not see my reply?

I verified that I can reproduce the rounding problem in older GMP. I am sorry if fixing this bug in GMP 4.2 caused problems in a program that apparently relied on the buggy behaviour.

To state it again: GMP 4.2 is right. Older GMP were wrong.