randomUint32
| ( randomUint32() & 0x007FFFFF );
| ( randomUint32() & 0x007FFFFF );
| ( randomUint32() & 0x000FFFFF ),
randomUint32()
| ( randomUint32() & 0x000FFFFF ),
randomUint32()
( randomUint32() & int32PInfWeightMasks[ weightMaskNum ] )