more fixes to LCGRandom and 32bit int