XML 64 R43.htm IDEA: XBRL DOCUMENT v3.23.2
Debt - Conversion Value of Convertible Notes (Details) - Senior Notes - USD ($)
$ in Millions
 6 Months Ended 12 Months Ended
Jun. 30, 2023
Dec. 31, 2022
Debt Instrument [Line Items]    
Total by which the notes’ if-converted value exceeds their principal amount $ 1,790.8 $ 1,395.1
Senior Convertible Notes due 2023    
Debt Instrument [Line Items]    
Total by which the notes’ if-converted value exceeds their principal amount 1,649.5 1,361.5
Senior Convertible Notes due 2025    
Debt Instrument [Line Items]    
Total by which the notes’ if-converted value exceeds their principal amount 84.6 33.6
Senior Convertible Notes due 2028    
Debt Instrument [Line Items]    
Total by which the notes’ if-converted value exceeds their principal amount $ 56.7 $ 0.0