XML 77 R54.htm IDEA: XBRL DOCUMENT v3.24.0.1
Debt - Schedule of Carrying Values and Estimated Fair Values of Debt Instruments (Details) - Senior Notes - USD ($)
Dec. 31, 2023
May 31, 2023
Dec. 31, 2022
May 31, 2020
Nov. 30, 2018
Senior Convertible Notes          
Total principal amount $ 2,457,500,000   $ 1,982,300,000    
Unamortized debt issuance costs (23,300,000)   (12,000,000.0)    
Carrying amount of senior convertible notes 2,434,200,000   1,970,300,000    
Senior Convertible Notes due 2023          
Senior Convertible Notes          
Total principal amount 0   774,800,000   $ 850,000,000
Senior Convertible Notes due 2025          
Senior Convertible Notes          
Total principal amount 1,207,500,000   1,207,500,000 $ 1,210,000,000  
Senior Convertible Notes due 2028          
Senior Convertible Notes          
Total principal amount $ 1,250,000,000 $ 1,250,000,000 $ 0