require_extension('D'); require_fp; WRITE_FRD(f64(MMU.load(RS1 + insn.i_imm())));