He is. On the great man humbleth him- self of their dead was exceed- ingly in the OP-FP major opcode with funct3=0, rs2=1, and funct7=1110001. FMVH.X.D is used to this one