           |--&gt; not pos subranged |--&gt; ( s &gt;= S(0) )
              |
              |--&gt; unsig_to_sig   |--&gt; subranged     |--&gt; ( s &lt;= S(HighestT) )
              |                   |--&gt; not subranged |--&gt; NONE
</code>
<code class="literal">
int_to_float   |--&gt; NONE
</code>
<code class="literal">
float_to_int   |--&gt; round_to_zero         |--&gt; ( s &gt;  S(LowestT)-S(1)   ) &amp;&amp; ( s &lt;  S(HighestT)+S(1)   )
               |--&gt; round_to_even_nearest |--&gt; ( s &g