1466     bits64 aSig64, aSigExtra;  in float32_to_int64()  local
1482     shift64ExtraRightJamming( aSig64, 0, shiftCount, &aSig64, &aSigExtra );  in float32_to_int64()
1483     return roundAndPackInt64( aSign, aSig64, aSigExtra );  in float32_to_int64()
2414     bits64 aSig, aSigExtra;  in float64_to_int64()  local
2432         aSigExtra = 0;  in float64_to_int64()
2436         shift64ExtraRightJamming( aSig, 0, shiftCount, &aSig, &aSigExtra );  in float64_to_int64()
2438     return roundAndPackInt64( aSign, aSig, aSigExtra );  in float64_to_int64()
3373     bits64 aSig, aSigExtra;  in floatx80_to_int64()  local
3390         aSigExtra = 0;  in floatx80_to_int64()
3393         shift64ExtraRightJamming( aSig, 0, shiftCount, &aSig, &aSigExtra );  in floatx80_to_int64()
3395     return roundAndPackInt64( aSign, aSig, aSigExtra );  in floatx80_to_int64()