div><div class="toc_title"><a href="#top">Num</a></div><ul></ul></nav></header>

<h1>Module <a href="type_Num.html">Num</a></h1>

<pre><span class="keyword">module</span> Num: <code class="code"><span class="keyword">sig</span></code> <a href="Num.html">..</a> <code class="code"><span class="keyword">end</span></code></pre><div class="info module top">
Operation on arbitrary-precision numbers.
<p>

   Numbers (type <code class="code">num</code>) are arbitrary-precision rational numbers,
   plus the special 