XML 63 R42.htm IDEA: XBRL DOCUMENT v3.23.2
Debt - Senior Convertible Notes (Details) - Senior Notes - USD ($)
Jun. 30, 2023
May 31, 2023
Dec. 31, 2022
May 31, 2020
Nov. 30, 2018
Senior Convertible Notes          
Total principal amount $ 3,232,300,000   $ 1,982,300,000    
Unamortized debt issuance costs (27,900,000)   (12,000,000.0)    
Carrying amount of senior convertible notes 3,204,400,000   1,970,300,000    
Senior Convertible Notes due 2023          
Senior Convertible Notes          
Total principal amount 774,800,000   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