sign = signF64UI( uiA );\r
exp = expF64UI( uiA );\r
sig = fracF64UI( uiA );\r
+ if ( ( exp == 0x7FF ) && sig ) sign = 0;\r
if ( exp ) sig |= UINT64_C( 0x0010000000000000 );\r
shiftCount = 0x42C - exp;\r
if ( 0 < shiftCount ) sig = softfloat_shift64RightJam( sig, shiftCount );\r