put a reasonable reason to use DOUBLE()

lfd using DOUBLE is a completely bogus reason -- lfd doesn't use DOUBLE because it doesn't need to convert from f32 to f64.

diff --git a/openpower/sv/rfc/ls002/discussion.mdwn b/openpower/sv/rfc/ls002/discussion.mdwn
index 679a32805a3af0c630c831d81b8643534a0232ae..77705be5b8a513f92e201325bed546f74e0868c1 100644 (file)
--- a/openpower/sv/rfc/ls002/discussion.mdwn
+++ b/openpower/sv/rfc/ls002/discussion.mdwn
@@ -225,4 +225,6 @@ comparative analogy as a Programmer's Note.
 
 **Should the use of DOUBLE() be bypassed?**
 
-No, because lfd uses it, to normalise the FP value
+No, because we specifically want to be able to express all possible f32 values,
+including denormal values. those denormal values require normalization to get
+the corresponding f64 values.