Implement ~-x -> x + -1.