lib: fix sign in iadd/isub