Added support for generating numbers from an input state file