Add integer abs/neg/sign constraints.