double av_int2dbl(int64_t v){

    if(v+v > 0xFFEULL<<52)

        return NAN;

    return ldexp(((v&((1LL<<52)-1)) + (1LL<<52)) * (v>>63|1), (v>>52&0x7FF)-1075);

}

double av_int2dbl(int64_t v){

    if(v+v > 0xFFEULL<<52)

        return NAN;

    return ldexp(((v&((1LL<<52)-1)) + (1LL<<52)) * (v>>63|1), (v>>52&0x7FF)-1075);

}

    if(v+v > 0xFFEULL<<52)
double FUNC_0(int64_t VAR_0){

    if(VAR_0+VAR_0 > 0xFFEULL<<52)

        return NAN;

    return ldexp(((VAR_0&((1LL<<52)-1)) + (1LL<<52)) * (VAR_0>>63|1), (VAR_0>>52&0x7FF)-1075);

}

double FUNC_0(int64_t VAR_0){ if(VAR_0+VAR_0 > 0xFFEULL<<52)
return NAN; return ldexp(((VAR_0&((1LL<<52)-1)) + (1LL<<52)) * (VAR_0>>63|1), (VAR_0>>52&0x7FF)-1075); }