>
<ol style="list-style-type: decimal">
<li><code>int</code> types may be promoted to <code>real</code>, and</li>
<li><code>real</code> types may be promoted to <code>complex</code>.</li>
</ol>
<p>Plus, promotion is transitive, so that</p>
<ol start="3" style="list-style-type: decimal">
<li>if type <code>U</code> can be promoted to type <code>V</code> and type <code>V</code> can be
promoted to type <code>T</code>, then <code>U</code> can be promoted to <code>T</code>.</li>
</ol>
<p>The first rule means that