al_number.real_number_formatting_policies">below</a>.
          </p>
<h6>
<a name="spirit.karma.reference.numeric.real_number.h5"></a>
            <span class="phrase"><a name="spirit.karma.reference.numeric.real_number.model_of"></a></span><a class="link" href="real_number.html#spirit.karma.reference.numeric.real_number.model_of">Model of</a>
          </h6>
<div class="blockquote"><blockquote class="blockquote"><p>
              <a class="link" href="../generator_concepts/primitivegenerator.html" title="P