></span> (i.e., <code class="computeroutput"><span class="identifier">float64_t</span></code>).
      If we were to use, for instance, built-in <code class="computeroutput"><span class="keyword">double</span></code>,
      then there would be no guarantee that the code would behave identically on
      all platforms. With <code class="computeroutput"><span class="identifier">float64_t</span></code>
      from <code class="computeroutput"><span class="special">&lt;</span><span class="identifier">boost</span>