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?