       Argument</a> that evaluates to a real number value of type
                  <code class="computeroutput"><span class="identifier">Num</span></code>
                </p></dd>
<dt><span class="term"><code class="computeroutput"><span class="identifier">Num</span></code></span></dt>
<dd><p>
                  Type of <code class="computeroutput"><span class="identifier">num</span></code>: any
                  real number type
                </p></dd>
</dl>
</div>
<h6>
<a name="spirit.karma.reference.n