Revenue Recognition (Up-Front Customer Loyalty Programs) (Details) - Up Front Customer Loyalty Programs - USD ($) $ in Millions	3 Months Ended	9 Months Ended
	Sep. 30, 2023	Sep. 30, 2023	Dec. 31, 2022
Disaggregation of Revenue [Line Items]
Capitalized customer acquisition costs	$ 163.9	$ 163.9	$ 158.0
Recognized as a reduction of revenue	$ 12.5	$ 38.9