A few statistical nuggets related to the Jordan Zimmermann’s no-hitter of the Marlins on the last day of the regular season, Sunday afternoon in D.C.