Ensure randInt returns full 32 bits, so we can do `a=new Uint32Array(…

Ensure randInt returns full 32 bits, so we can do `a=new Uint32Array(… #1251