closedIntRange