 be
          determined at compile time that construction of an instance of a
          <code class="computeroutput">safe_t</code> from an <code class="computeroutput">input_safe_t</code> can never
          fail. Hence, no <code class="computeroutput">try/catch</code> block is necessary. The usage
          of the <a class="link" href="exception_policies.html#safe_numerics.exception_policies.loose_trap_policy"><code class="computeroutput">loose_trap_policy</code></a>
          policy for <code class="comp