doubleZSig       3045 lib/libkern/softfloat.c     bits64 aSig, zSig, doubleZSig;
doubleZSig       3072 lib/libkern/softfloat.c         doubleZSig = zSig<<1;
doubleZSig       3077 lib/libkern/softfloat.c             doubleZSig -= 2;
doubleZSig       3078 lib/libkern/softfloat.c             add128( rem0, rem1, zSig>>63, doubleZSig | 1, &rem0, &rem1 );