From: nsz <nsz@port70.net>
Date: Mon, 27 Feb 2012 21:29:13 +0000 (+0100)
Subject: libm: fix double rounding description
X-Git-Url: http://nsz.repo.hu/git/?p=www;a=commitdiff_plain;h=d150cfff9b8023f6f8e0cd396c756c205d6a1b17

libm: fix double rounding description
---

diff --git a/libm/index.html b/libm/index.html
index 50ffa4e..fa908a3 100644
--- a/libm/index.html
+++ b/libm/index.html
@@ -146,7 +146,7 @@ m68k and m88k cpus use different ld80 than the intel ones)
 
 
 <ul>
-<li>Double rounding (x87 issue):
+<li>Double rounding:
 <p>
 If a value rounded twice the result can be different
 than rounding just once.
@@ -162,10 +162,12 @@ results in extended precision, this only affects x87 instructions, not see2 etc)
 (afaik freebsd and openbsd use double precision by default)
 <p>
 So x = a+b may give different results depending on
-the fpu setting.
+the x87 fpu precision setting.
 (only happens in round to nearest rounding mode,
 but that's the most common one)
 <p>
+(double rounding can happen with float vs double as well)
+<p>
 C99 annex F prohibits double rounding,
 but that's non-normative.