fun f8_src(ii) { return ((rmap_read(inst.srcq[+(ii+1)],inum)&0xffffffff?ext(64)) | (rmap_read(inst.srcq[+ii],inum)<<32))?cast(double); }