Integer/negate +3