<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">Am 14.08.2013 10:42, schrieb Vincent
Snijders:<br>
</div>
<blockquote
cite="mid:CAMDhvc=u9W+FcrzkxCqkbK5YgmEWw1XVjcjwXdoW26TxmQJW7w@mail.gmail.com"
type="cite"><br>
<br>
<div class="gmail_quote">2013/8/14 Sven Barth <span dir="ltr"><<a
moz-do-not-send="true"
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>
</blockquote>
*sigh* stupid floating point numbers...<br>
<br>
Regards,<br>
Sven<br>
</body>
</html>