Debt - Schedule of Carrying Values and Estimated Fair Values of Debt Instruments (Details) - Senior Notes - USD ($)	Dec. 31, 2022	Dec. 31, 2021	May 31, 2020	Nov. 30, 2018
Senior Convertible Notes
Total principal amount	$ 1,982,300,000	$ 1,999,800,000
Unamortized debt issuance costs	(12,000,000.0)	(18,000,000.0)
Carrying amount of senior convertible notes	1,970,300,000	1,981,800,000
Convertible Notes due 2023
Senior Convertible Notes
Total principal amount	774,800,000	792,300,000		$ 850,000,000
Convertible Notes due 2025
Senior Convertible Notes
Total principal amount	$ 1,207,500,000	$ 1,207,500,000	$ 1,210,000,000