Leases - Lease Cost (Details) - USD ($) $ in Millions	3 Months Ended		9 Months Ended
	Sep. 30, 2023	Sep. 30, 2022	Sep. 30, 2023	Sep. 30, 2022
Leases [Abstract]
Operating lease cost	$ 4.3	$ 3.7	$ 15.0	$ 10.4
Short-term lease cost	1.9	0.3	4.4	1.1
Variable lease cost	1.4	2.3	4.4	4.7
Total lease cost	$ 7.6	$ 6.3	$ 23.8	$ 16.2