376  packFloat64( flag zSign, int16 zExp, bits32 zSig0, bits32 zSig1 )  in packFloat64()
410      flag zSign, int16 zExp, bits32 zSig0, bits32 zSig1, bits32 zSig2 )  in roundAndPackFloat64()
495      flag zSign, int16 zExp, bits32 zSig0, bits32 zSig1 )  in normalizeRoundAndPackFloat64()
549     bits32 zSig0, zSig1;  in int32_to_float64()  local
693     bits32 aSig, zSig0, zSig1;  in float32_to_float64()  local
979     bits32 aSig, bSig, zSig0, zSig1;  in float32_mul()  local
1667     bits32 aSig0, aSig1, bSig0, bSig1, zSig0, zSig1, zSig2;  in addFloat64Sigs()  local
1745     bits32 aSig0, aSig1, bSig0, bSig1, zSig0, zSig1;  in subFloat64Sigs()  local
1870     bits32 aSig0, aSig1, bSig0, bSig1, zSig0, zSig1, zSig2, zSig3;  in float64_mul()  local
1932     bits32 aSig0, aSig1, bSig0, bSig1, zSig0, zSig1, zSig2;  in float64_div()  local
2118     bits32 aSig0, aSig1, zSig0, zSig1, zSig2, doubleZSig0;  in float64_sqrt()  local