move the rest of the simple 64-bit arithmetic into InstrArithmetic.td