n class="special">,</span> <span class="identifier">RealType</span> <span class="special">=</span> <span class="number">0</span><span class="special">.</span><span class="number">5</span><span class="special">)</span><span class="special">;</span>

  <span class="comment">// <a class="link" href="param_type.html#idp81227072-bb">public member functions</a></span>
  <span class="identifier">IntType</span> <a class="link" href="param_type.html#idp81227280-bb"><span class="identifier">t</span></a><span class="s