<code class="code">max_num&nbsp;(-0.)&nbsp;(+0.)&nbsp;=&nbsp;+0.</code></p>
</div>
<ul class="info-attributes">
<li><b>Since</b> 4.08.0</li>
</ul>
</div>

<pre><span id="VALmin_max_num"><span class="keyword">val</span> min_max_num</span> : <code class="type">float -&gt; float -&gt; float * float</code></pre><div class="info ">
<div class="info-desc">
<p><code class="code">min_max_num&nbsp;x&nbsp;y</code> is <code class="code">(min_num&nbsp;x&nbsp;y,&nbsp;max_num&nbsp;x&nbsp;y)</code>, just more
   efficient