Thirteen inches sounds like a random number until you need it. Maybe you’re buying a laptop bag. Maybe you’re checking ...