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.