[hax]arith: add: fixup signs