The functions type(x, posint), type(x, negint), type(x, nonnegint), and type(x, nonposint) return true if x is a positive, negative, non-negative, or non-positive integer, respectively.  Otherwise, false is returned.

type/integer

$\mathrm{type}\left(3\,\mathrm{posint}\right)$

$\mathrm{true}$

$\mathrm{type}\left(-5\,\mathrm{negint}\right)$

$\mathrm{true}$

$\mathrm{type}\left(0\,\mathrm{nonnegint}\right)$

$\mathrm{true}$

$\mathrm{type}\left(x\,\mathrm{negint}\right)$

$\mathrm{false}$

$\mathrm{type}\left(3.5\,\mathrm{posint}\right)$

$\mathrm{false}$

$\mathrm{type}\left(-3\,\mathrm{nonposint}\right)$

$\mathrm{true}$