libm: fix double rounding description

diff --git a/libm/index.html b/libm/index.html
index 50ffa4e..fa908a3 100644 (file)
--- a/libm/index.html
+++ b/libm/index.html
@@ -146,7 +146,7 @@ m68k and m88k cpus use different ld80 than the intel ones)
 
 
 <ul>
 
 
 <ul>

-<li>Double rounding (x87 issue):
+<li>Double rounding:

 <p>
 If a value rounded twice the result can be different
 than rounding just once.
 <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
 (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>
 (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.
 
 C99 annex F prohibits double rounding,
 but that's non-normative.