id.
    This is usually convenient since when a safe literal is used in a binary
    operation, this will inherit the policies of the other type. On the other
    hand, this can be inconvenient when operands of a binary expression are
    both safe literals. This will fail to compile since there are no
    designated promotion and exception policies. The way to address this to
    assign specific policies as in this example.</p>
<pre class="programlisting"><span class="keyword">template</span><span class="s