<div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small">Sorry for the delay....<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Jan 29, 2019 at 11:08 PM Daniel Kochmański <<a href="mailto:daniel@turtleware.eu">daniel@turtleware.eu</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hey,<br>
<br>
> With ecl 16.1.3, I noticed that least-positive-double-float and<br>
> least-positive-normalized-double-float are exactly equal.  This is<br>
> allowed, but ecl can work with denormals since (/<br>
> least-positive-normalized-double-float 10) is printed correctly.<br>
<br>
The reason they are the same is because portable C gives us DBL_MIN at<br>
our disposal (and its counterparts for other floats).<br></blockquote><div><br></div><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default">Seems reasonable for portability.</div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
> <br>
> Maybe these two values should be different?<br>
<br>
 Maybe we could hardcode other value when ieee-floating-point is in<br>
featuers (fwiw it is an optional build flag). I'm not sure what would<br>
be the right thing here.<br></blockquote><div><br></div><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default">I don't know either, but it is a bit weird if you can create and print values that are less than least-positive-double-float. :-)</div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
> <br>
> Or maybe ecl really meant to turn on flush-to-zero so that no<br>
> denormals can<br>
> occur?<br>
> <br>
<br>
ECL signals a floating-point-overflow/underflow conditions unless<br>
disabled by an internal function si:trap-fpe.<br></blockquote><div><br></div><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default">You trap on underflow by default?  That seems unusual and kind of annoying.</div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
Regards,<br>
Daniel<br>
<br>
<br>
</blockquote></div><br clear="all"><br>-- <br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div></div>Ray<br></div></div></div>