When creating a ConstantRange for [n,UINT_MAX], special case n == 0, because