Indexing by zero has a huge positive impact on the correctness of complex operations like joining intervals, that nobody trusts themselves to write anyway and always pack behind a well-verified library.

But I think the reason we have it is because C maps it almost immediately into memory offsets.