Tighter range constraint on INTEGER types