least-positive vs least-positive-normalized

Raymond Toy toy.raymond at gmail.com
Wed Jan 30 00:09:26 UTC 2019

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

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

More information about the ecl-devel mailing list