- added ability to save/restore random number seed