Simplify the StateSize helper in Random