according to baseball reference this is the first time that an all-star doubled his career pitches in one inning