ts the rounding mod to DOWNWARD (towards minus infinity)<br>
</div>

<pre><span id="VALset_high"><span class="keyword">val</span> set_high</span> : <code class="type">unit -> unit</code></pre><div class="info ">
Sets the rounding mod to UPWARD (towards infinity)<br>
</div>

<pre><span id="VALset_nearest"><span class="keyword">val</span> set_nearest</span> : <code class="type">unit -> unit</code></pre><div class="info ">
Sets the rounding mod to NEAREST (default mode)<br>
</div>
</body></html>