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