infinity)
    </p>
    
<pre><code><font color="#000000">    </font></code><code><span class=
"special">*</span><span class="identifier">real_p</span></code>
</pre>
<p>
      This is like a regular-expression Kleene Star, though the syntax might
      look a bit odd for a C++ programmer not used to seeing the <tt class=
      "operators">*</tt> operator overloaded like this. Actually, if you know
      regular expressions it may look odd too since the star is <b>before</b>
      the expression it modifies. 