<div dir="ltr">Damian, I provided examples from a draft at hand illustrate specifications free of the English language subtleties of "mathematically positive" vs. "strictly positive" vs. ... The example with variable y was from atan2() in Annex F. <div><br></div><div>Sometimes you just need to nail the sign bit, but that's rare. </div><div><div><br clear="all"><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr">-Jerome Coonen<div> 650.996.4738</div><div> <a href="mailto:jcoonen@gmail.com" target="_blank">jcoonen@gmail.com</a></div></div></div></div><br></div></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Mar 15, 2024 at 6:15 PM Damian McGuckin <<a href="mailto:damianm@esi.com.au">damianm@esi.com.au</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">On Sat, 16 Mar 2024, Damian McGuckin wrote:<br>
<br>
> Jerome, I think you are suggesting<br>
><br>
>       finite x != 0<br>
> and<br>
>       finite positive-signed x<br>
> and<br>
>        finite x > 0<br>
><br>
> for the last three as I did not see 'atan2' (I only looked in Annex G)<br>
<br>
Some of the above involved the variable 'y'<br>
<br>
Anyway I reworked Annex G with these and The mathematics is very clear!<br>
Much clearer and cleaner in fact<br>
<br>
Thanks - Damian<br>
</blockquote></div>