It's also used for `dim` in other contexts, so renaming doesn't make much sense. We could have a separate exception type. Do we feel that's necessary?