From 30b118b58e2fa8cdf4cb2d34c07cc35cfec65f92 Mon Sep 17 00:00:00 2001
From: Andrew Waterman <andrew@sifive.com>
Date: Thu, 2 Feb 2017 18:25:19 -0800
Subject: Remove half-true description of tininess-after-rounding

---
 src/f.tex | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'src/f.tex')

diff --git a/src/f.tex b/src/f.tex
index 94c0920..c6a5259 100644
--- a/src/f.tex
+++ b/src/f.tex
@@ -299,9 +299,7 @@ provide exceptional default values.
 Operations on subnormal numbers are handled in accordance with the IEEE
 754-2008 standard.
 
-In the parlance of the IEEE standard, tininess is detected after
-rounding---that is, the underflow exception is raised only if the rounded
-result is subnormal, even if the unrounded result would have been subnormal.
+In the parlance of the IEEE standard, tininess is detected after rounding.
 
 \begin{commentary}
 Detecting tininess after rounding results in fewer spurious underflow signals.
-- 
cgit v1.1

