    zero to an integer.</p>
</div>
</div>

<pre><span id="VALsucc"><span class="keyword">val</span> succ</span> : <code class="type">float -&gt; float</code></pre><div class="info ">
<div class="info-desc">
<p><code class="code">succ&nbsp;x</code> returns the floating point number right after <code class="code">x</code> i.e.,
   the smallest floating-point number greater than <code class="code">x</code>.  See also
   <a href="Float.html#VALnext_after"><code class="code"><span class="constructor">Float</span