">12345</span> <span class="mi">0</span> <span class="mi">12121</span>
 <span class="o">&gt;</span><span class="nv">REAL</span><span class="ss">(</span><span class="mi">3</span><span class="nv">f</span><span class="ss">)</span>: <span class="mi">10</span>.<span class="mi">3450003</span> <span class="mi">10</span>.<span class="mi">3450003</span> <span class="mi">10</span>.<span class="mi">0000000</span> <span class="o">-</span><span class="mi">3</span>.<span class="mi">00000000</span>
 <span class="o">-</spa