for twoscomplement convert AddP(P, Const<signed>) into AddP(P, Const<unsigned>),...