least-positive vs least-positive-normalized

[Raymond Toy]

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?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.common-lisp.net/pipermail/ecl-devel/attachments/20190129/ca00a916/attachment.html>