randomUint16
| ( ( ( ( (uint32) ( randomUint16() & 0x1FF ) )<<23 )
| ( ( ( ( (uint32) ( randomUint16() & 0x1FF ) )<<23 )
| ( ( ( ( (uint32) ( randomUint16() & 0xFFF ) )<<20 )
| ( ( ( ( (uint32) ( randomUint16() & 0xFFF ) )<<20 )
randomUint16() & (floatx80QInfWeightMasks[ weightMaskNum ]
randomUint16() & (floatx80QInfWeightMasks[ weightMaskNum ]
| ( ( ( ( (uint64) randomUint16() )<<48 )
| ( ( ( ( (uint64) randomUint16() )<<48 )