On 2012-02-04 13:00:45 +0100, Andreas Schwab wrote: > But it is indistinguishable from 10^22+pi. So both -0.8522008497671888 > and 0.8522008497671888 are correct results, or anything inbetween.
No, 10^22 and 10^22+pi are different numbers. You are not following the IEEE 754 model, where each input is assumed to be exact. -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <http://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
