From d150cfff9b8023f6f8e0cd396c756c205d6a1b17 Mon Sep 17 00:00:00 2001
From: nsz <nsz@port70.net>
Date: Mon, 27 Feb 2012 22:29:13 +0100
Subject: [PATCH] libm: fix double rounding description

---
 libm/index.html | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

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.
 
-- 
2.20.1