<div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small">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.</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small"><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small">Maybe these two values should be different?</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small"><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small">Or maybe ecl really meant to turn on flush-to-zero so that no denormals can occur?<br clear="all"></div><br>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div></div>Ray<span class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small">?</span><br></div></div></div>