On 2010-02-22 01:57:48 +0000, Joseph S. Myers wrote: > I know some people have claimed (e.g. glibc bug 6981) that you can't > conform to Annex F when you have excess precision, but this does not > appear to be the view of WG14.
I wonder what their view is. Annex F says: The +, −, *, and / operators provide the IEC 60559 add, subtract, multiply, and divide operations. As IEC 60559 (= IEEE 754-1985) requires correct rounding to the target format, double rounding is forbidden. -- 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 / Arénaire project (LIP, ENS-Lyon)