lass="nav-link" href="../Examples/exome.html">NGS Human Core Exome Panel</a>
              <a class="nav-link" href="../Examples/benchmark.html">Benchmarking</a>

                </nav>
          </nav>
        </div>
      </div>

    <div class="col-9" id='text'>
      <p>When writing <code>integer</code> data as strings with
<a href="../Ref/String.html">String</a>, <a href="../Ref/str.html">str</a>, or
<a href="../Ref/to_file.html">to_file</a>, any of the following text formats may
be used:</p>
<div clas