return addFloat64Sigs( a, b, aSign );
return addFloat64Sigs( roundData, a, b, aSign );
float64 float64_add( float64 a, float64 b ){    flag aSign, bSign;    aSign = extractFloat64Sign( a );    bSign = extractFloat64Sign( b );    if ( aSign == bSign ) {        return addFloat64Sigs( a, b, aSign );    }    else {        return subFloat64Sigs( a, b, aSign );    }}