fun F8(i0) {		 
    val ii = i0?ext(32)&(~1) | (i0?bit(0)?ext(32)<<5);
    val xx = fregs[ii]?ext(64) << 32;
    return (xx | fregs[ii+1]?ext(64))?cast(double);
}