IntRange

constructor(minInclusive: BigInteger, maxInclusive: BigInteger)
constructor(min: Int, max: Int)
constructor(min: Term, max: Term)