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

[Roberto Bagnara]

-------- 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 at swox.com>
To: gmp-discuss at swox.com
References: <86r6l4rsyb.fsf at 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.

-- 
Torbjörn
_______________________________________________
gmp-discuss mailing list
gmp-discuss at swox.com
http://swox.com/mailman/listinfo/gmp-discuss


-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it