Improved random-number processor