In article <pan.2013.02.16.13.55.31.206000 at nowhere.com>, Nobody <nobody at nowhere.com> wrote: > IOW: floating-point arithmetic is deterministic. It follows rules. Not the > same rules as real arithmetic, but rules nonetheless. Contrary to > common superstition, the least-significant bits are *not* taken from > /dev/random. Unless you're using a Pentium :-)