We don't need to store this value, since it can be trivially computed from `idWidth`.