Ah well, these aren't ports. But I still think bumping the max digits by one is a good thing.