implement integer subtraction in jit