Lodewijk, 18/10/2011 16:02:
I would guess that the odds of arriving at such article are so low, that it would not be worth the huge discussion it would definitely result into, to make this change because there is barely any improvement.
I agree. Just to say, I'm more worried by this problem: https://en.wikipedia.org/wiki/Pseudorandom_number_generator :-p
Nemo