random number generator MT19937 usable