They must've gone for the classic thirteen sixteenths of an inch! Though an inch is of course defined as 25.4 mm, so Americans are basically always using metric, just with extra steps ;)