Oh sorry, my bad, I mistook this old bug for this one: <a href="http://bugs.racket-lang.org/query/?cmd=view&pr=12640">http://bugs.racket-lang.org/query/?cmd=view&pr=12640</a> Indeed pr12070 does not appear on my current machine either. This pr12640 still appears though, but this one is probably no big deal and is probably not related to the behavior Neil sees. Laurent <div class="gmail_quote">On Fri, Jul 20, 2012 at 10:06 AM, Marijn <<a href="mailto:hkBst@gentoo.org" target="_blank">hkBst@gentoo.org</a>> wrote: <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 <div class="im"> On 20-07-12 09:49, Laurent wrote: > No particular problem, except for an old unresolved bug that can > maybe (or not) explain the strange behavior you see: > <a href="http://bugs.racket-lang.org/query/?cmd=view&pr=12070" target="_blank">http://bugs.racket-lang.org/query/?cmd=view&pr=12070</a> Though I > already had that bug under older versions of Ubuntu. </div>Hi Laurent, this bug was fixed January 2012 AFAIK (look for ".1 evaluates to 0.0"). Are you still using an older version? Marijn -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.19 (GNU/Linux) Comment: Using GnuPG with Mozilla - <a href="http://enigmail.mozdev.org/" target="_blank">http://enigmail.mozdev.org/</a> iEYEARECAAYFAlAJEY8ACgkQp/VmCx0OL2y5zwCggmWZRz4aqJnK0PgQJCLBF70N 6mYAn0pdQN3L3wp7lyPCWIAXIqPY2YMQ =D8Y5 -----END PGP SIGNATURE----- </blockquote></div>