> I never ever wanted the compiler or runtime to check a subrange of ints. Ever.

Requiring values to be positive, requiring an index to fall within the bounds of an array, and requiring values to be non-zero so you never divide by zero are very, very common requirements and a common source of bugs when the assumptions are violated.