add64      31..25=0b1100000  rs2                rs1  14..12=0b001  rd  6..0=0b1110111
sub64      31..25=0b1100001  rs2                rs1  14..12=0b001  rd  6..0=0b1110111
