v class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;</div><div class="line"><a name="l00114"></a><span class="lineno"><a class="line" href="a00732.html#ga20b861a9b6e2a300323671c57a02525b">  114</a></span>&#160;    <span class="keyword">typedef</span> <span class="keywordtype">double</span>                      <a class="code" href="a00732.html#ga20b861a9b6e2a300323671c57a02525b">double1</a>;        </div><div class="line"><a name="l00115"></a><span class="lineno"><a class="line" href=