All-Star Game in Cincinnati by the numbers