int

Integer domains can be defined by

int (<ranges list>)

If no range is provided, then represents infinite domain of integers.

An integer range is either a single integer

int(n)

or a list of sequential integers with a given lower and upper bound (inclusive).

int(a..b, c..d, ...)

Values must be between -2⁶² + 1 and 2⁶² - 1.

See this demonstrated here.