Extra checking for discrete range where both bounds are universal integers