     is a literal type, then <code class="computeroutput"><span class="identifier">number</span><span class="special">&lt;</span><span class="identifier">B</span><span class="special">&gt;</span></code>
        is also a literal type, and you will be able to compile-time-construct such
        a type from any literal that <code class="computeroutput"><span class="identifier">B</span></code>
        is compile-time-constructible from. However, you will not be able to perform
        compile-time arithmetic o