e" tabindex="-1"></a>                                 : not_a_number();</span>
<span id="cb6-5"><a href="#cb6-5" aria-hidden="true" tabindex="-1"></a>    <span class="dt">real</span> a1 = (z2 / z1 - rho) / denom;</span>
<span id="cb6-6"><a href="#cb6-6" aria-hidden="true" tabindex="-1"></a>    <span class="dt">real</span> a2 = (z1 / z2 - rho) / denom;</span>
<span id="cb6-7"><a href="#cb6-7" aria-hidden="true" tabindex="-1"></a>    <span class="dt">real</span> product = z1 * z2;</span>
<span id="cb6-8"><a h