v3.25.2
Debt - Carrying Values and Estimated Fair Values of Debt Instruments (Details) - Senior Notes - USD ($)
Jun. 30, 2025
Dec. 31, 2024
May 31, 2023
May 31, 2020
Senior Convertible Notes        
Total principal amount $ 2,457,500,000 $ 2,457,500,000    
Unamortized debt issuance costs (12,500,000) (16,100,000)    
Carrying amount of senior convertible notes 2,445,000,000 2,441,400,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 $ 1,250,000,000