Leases - Net operating lease cost (Details) - USD ($) $ in Millions	3 Months Ended		9 Months Ended
	Sep. 30, 2023	Sep. 30, 2022	Sep. 30, 2023	Sep. 30, 2022
Lease Cost
Operating lease cost	$ 63.7	$ 63.1	$ 193.3	$ 190.3
Sublease income	(4.2)	(4.4)	(12.7)	(14.1)
Total lease cost	$ 59.5	$ 58.7	$ 180.6	$ 176.2