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


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

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

Values must be between -262 + 1 and 262 - 1.

See this demonstrated here.