Random Number Generator extension for NetLogo