034"></a><span class="lineno">   34</span>&#160;<span class="comment">  \tparam Data_type Floating-point IEEE 754/IEC559 type.</span></div>
<div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;<span class="comment">  \tparam Cast_type Integer type (same size) to which to cast.</span></div>
<div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;<span class="comment"></span></div>
<div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;<spa