XML 56 R40.htm IDEA: XBRL DOCUMENT v3.23.1
Debt - Senior Convertible Notes (Details) - Senior Notes - USD ($)
Mar. 31, 2023
Dec. 31, 2022
May 31, 2020
Nov. 30, 2018
Senior Convertible Notes        
Total principal amount $ 1,982,300,000 $ 1,982,300,000    
Unamortized debt issuance costs (10,600,000) (12,000,000.0)    
Carrying amount of senior convertible notes 1,971,700,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