_checking</code> can be used to
get the type of a new interval by changing one of the policies of an old
interval; the new type is available thanks to the type definition
<code>type</code>. Finally, <code>unprotect</code> looks like
<code>change_rounding</code> and directly changes the rounding of an interval
to its unprotected version (a better explanation is available <a
href="rounding.htm#perfexp">here</a>).</p>
<hr>

<p>Revised: 2003-01-21<br>
Copyright (c) Guillaume Melquiond, Sylvain Pion, Hervé Brö