<br><br>
<div class="gmail_quote">2013/8/14 Sven Barth <span dir="ltr"><<a href="mailto:pascaldragon@googlemail.com" target="_blank">pascaldragon@googlemail.com</a>></span><br>
<blockquote style="BORDER-LEFT:#ccc 1px solid;MARGIN:0px 0px 0px 0.8ex;PADDING-LEFT:1ex" class="gmail_quote">I wanted to write "x.5" instead of "0.5" :) 
<div class="HOEnZb">
<div class="h5"><br> </div></div></blockquote>
<div>For any digit x, it still can be represented exactly in binary representation ...</div>
<div> </div>
<div>Vincent</div></div>