1580     int8 sigNum1, sigNum2;  in float64RandomQOutP3()  local
1585     sigNum2 = randomUint8() % float64NumP2;  in float64RandomQOutP3()
1587     sig2Low = float64P2[ sigNum2 ].low;  in float64RandomQOutP3()
1593                 + float64P2[ sigNum2 ].high  in float64RandomQOutP3()
1650     int8 sigNum1, sigNum2;  in float64RandomQInfP3()  local
1656     sigNum2 = randomUint8() % float64NumP2;  in float64RandomQInfP3()
1658     sig2Low = float64P2[ sigNum2 ].low;  in float64RandomQInfP3()
1669                 + float64P2[ sigNum2 ].high  in float64RandomQInfP3()
2989     int16 sigNum1, sigNum2;  in float128RandomQOutP3()  local
2994     sigNum2 = randomUint8() % float128NumP2;  in float128RandomQOutP3()
2996     sig2Low = float128P2[ sigNum2 ].low;  in float128RandomQOutP3()
3001                 + float128P2[ sigNum2 ].high  in float128RandomQOutP3()
3062     int16 sigNum1, sigNum2;  in float128RandomQInfP3()  local
3068     sigNum2 = randomUint8() % float128NumP2;  in float128RandomQInfP3()
3070     sig2Low = float128P2[ sigNum2 ].low;  in float128RandomQInfP3()
3080                 + float128P2[ sigNum2 ].high  in float128RandomQInfP3()