XML 79 R56.htm IDEA: XBRL DOCUMENT v3.25.0.1
Debt - Schedule of Carrying Values and Estimated Fair Values of Debt Instruments (Details) - Senior Notes - USD ($)
$ in Millions
Dec. 31, 2024
Dec. 31, 2023
May 31, 2023
May 31, 2020
Senior Convertible Notes        
Total principal amount $ 2,457.5 $ 2,457.5    
Unamortized debt issuance costs (16.1) (23.3)    
Carrying amount of senior convertible notes 2,441.4 2,434.2    
Senior Convertible Notes due 2025        
Senior Convertible Notes        
Total principal amount 1,207.5 1,207.5   $ 1,210.0
Senior Convertible Notes due 2028        
Senior Convertible Notes        
Total principal amount $ 1,250.0 $ 1,250.0 $ 1,250.0