1612     int8 sigNum1, sigNum2;  in float64RandomQOutP3()  local
1617     sigNum2 = randomUint8() % float64NumP2;  in float64RandomQOutP3()
1619     sig2Low = float64P2[ sigNum2 ].low;  in float64RandomQOutP3()
1625                 + float64P2[ sigNum2 ].high  in float64RandomQOutP3()
1682     int8 sigNum1, sigNum2;  in float64RandomQInfP3()  local
1688     sigNum2 = randomUint8() % float64NumP2;  in float64RandomQInfP3()
1690     sig2Low = float64P2[ sigNum2 ].low;  in float64RandomQInfP3()
1701                 + float64P2[ sigNum2 ].high  in float64RandomQInfP3()
3022     int16 sigNum1, sigNum2;  in float128RandomQOutP3()  local
3027     sigNum2 = randomUint8() % float128NumP2;  in float128RandomQOutP3()
3029     sig2Low = float128P2[ sigNum2 ].low;  in float128RandomQOutP3()
3034                 + float128P2[ sigNum2 ].high  in float128RandomQOutP3()
3095     int16 sigNum1, sigNum2;  in float128RandomQInfP3()  local
3101     sigNum2 = randomUint8() % float128NumP2;  in float128RandomQInfP3()
3103     sig2Low = float128P2[ sigNum2 ].low;  in float128RandomQInfP3()
3113                 + float128P2[ sigNum2 ].high  in float128RandomQInfP3()