Implement sub-zero bounds checking