div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;<span class="keyword"></span>{</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;    <span class="keywordflow">if</span> (RealPrecision)</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;        value = Round(value);       <span class="comment">//reduce the precision to get proper rounding behavior with integers.</span></div><div class="line"><a name="l00120"></