Fix type mismatch in RegNumToIntCode