A random number generator based on MediaWiki’s wfRandom() function.