Improve Pocman::RandomState()