random(n) is not random for bignums.
Imported from http://bugzilla.roxen.com/bugzilla/show_bug.cgi?id=3458
Reported by Anders Johansson anders@roxen.com
random(2147483648) generates the same sequense of numbers every time after startup. random_seed() has no efect in this case.