and more fixes to LCGRandom related to 32bit int