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