7-inning doubleheaders debut in MLB, Reds top Tigers 4-3