Finally worked out bugs in I-type arithmetic instructions