randomUint64
z.low = randomUint64() & LIT64( 0x7FFFFFFFFFFFFFFF );
z.low = randomUint64() & LIT64( 0x7FFFFFFFFFFFFFFF );
z.low = randomUint64();
| ( randomUint64() & LIT64( 0x0000FFFFFFFFFFFF ) );
z.low = randomUint64();
| ( randomUint64() & LIT64( 0x0000FFFFFFFFFFFF ) );
( randomUint64() & int64PInfWeightMasks[ weightMaskNum ] )