As 'int' is assumed to be signed by default and, at least on most Arduino's 16 bits, it's 'int16_t'.
If you don't like that you might be able to use
typedef int int_t;
Although I'm not sure how the various version of the Arduino IDE will "interfere" with compilations of said user defined type. You can always try it and find out.