"code"><span class="keyword">false</span></code> and <code class="code">&lt;&gt;</code> returns <code class="code"><span class="keyword">true</span></code>
    if one or both of their arguments is <code class="code">nan</code>.</p>
</div>
</div>

<pre><span id="VALpi"><span class="keyword">val</span> pi</span> : <code class="type">float</code></pre><div class="info ">
<div class="info-desc">
<p>The constant pi.</p>
</div>
</div>

<pre><span id="VALmax_float"><span class="keyword">val</span> max_float</span>