Make random number usage platform independent