Fixed bug in random() for sizes larger than 31 bits, but smaller than the bignum threshold. Rev: src/builtin.cmod:1.256