>&#160;</div>
<div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;        <span class="comment">// Float vector types </span></div>
<div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;</div>
<div class="line"><a name="l00068"></a><span class="lineno"><a class="line" href="a00216.html#ga07f8d7348eb7ae059a84c118fdfeb943">   68</a></span>&#160;        <span class="keyword">typedef</span> <a class="code" href="a00182.html#gabe6a542dd6c1d5ffd847f1b9b4c9c9b7">f3