* fix saving/loading of random numbers engine