According to PHPDoc's docs, `int` [is fine](http://www.phpdoc.org/docs/latest/for-users/phpdoc/types.html#abnf).