least-positive vs least-positive-normalized

Raymond Toy <[email protected]> Tue, 29 Jan 2019 16:09:26 -0800
Newsgroups gmane.lisp.ecl.general
Message-ID <CAG14z1HHdcWwyktfvDUN6zOG6KE+5ujj-5oHJA_aZmW1Gjjg+w@mail.gmail.com>
With ecl 16.1.3, I noticed that least-positive-double-float and
least-positive-normalized-double-float are exactly equal.  This is allowed,
but ecl can work with denormals since (/
least-positive-normalized-double-float 10) is printed correctly.

Maybe these two values should be different?

Or maybe ecl really meant to turn on flush-to-zero so that no denormals can
occur?

-- 
Ray?