Prefixes starting with <real>
<reale>
.
<reali>
.
<real> (other)
.