P>>double Rand_0_1()
P>>{  __int64 f=randShift*__int64(0x8088405);
P>>   f+=0x00010000LL;
P>>   f&=0xffff0000LL;
P>>   randShift=f>>32;
P>>   return float(randShift)*revMaxLong;
P>>}
P>>