Adding missing declaration for integer random number generation.