Unsigned -> PosInt, Signed -> NegInt