<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Nov 23, 2021, at 3:25 PM, David Olsen <<a href="mailto:dolsen@nvidia.com" class="">dolsen@nvidia.com</a>> wrote:</div><div class=""><div class="WordSection1" style="page: WordSection1; caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;"><div style="margin: 0in; font-size: 11pt; font-family: Calibri, sans-serif;" class=""></div></div></div></blockquote>…</div><div><br class=""><blockquote type="cite" class=""><div class=""><div class="WordSection1" style="page: WordSection1; caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;"><div style="margin: 0in; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div><div style="margin: 0in; font-size: 11pt; font-family: Calibri, sans-serif;" class="">>> Are you suggesting that there be a special rule that applies only to long double + _Float64 when they have the same formats?<br class=""><br class=""><o:p class=""></o:p></div><div style="margin: 0in; font-size: 11pt; font-family: Calibri, sans-serif;" class="">Yes. There would be a special rule that, when the sets of values are equivalent, the result type of long double + _Float64 would be long double. I can’t think of a better way to specify it given how the arithmetic conversion rules are defined.</div></div></div></blockquote><div><br class=""></div>The special rule would be something like: In <a href="http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2601.pdf" class="">http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2601.pdf</a> in X.4.2, after “Otherwise, if both operands are floating types and the sets of values of their corresponding real types are equivalent, then the following rules are applied:” insert</div><div><br class=""></div><blockquote style="margin: 0 0 0 40px; border: none; padding: 0px;" class=""><div>If the corresponding real types of the operands are _Float64 and long double, the operand whose corresponding real type is _Float64 is converted, without change of type domain, to a type whose corresponding real type is long double.</div><div><br class=""></div><div>Otherwise, …</div></blockquote><div><br class=""></div><div>- Jim Thomas</div></body></html>