 <code class="type">float -&gt; float -&gt; float</code></pre><div class="info ">
<div class="info-desc">
<p><code class="code">next_after&nbsp;x&nbsp;y</code> returns the next representable floating-point
   value following <code class="code">x</code> in the direction of <code class="code">y</code>.  More precisely, if
   <code class="code">y</code> is greater (resp. less) than <code class="code">x</code>, it returns the smallest
   (resp. largest) representable number greater (resp. less) than <code class