XML 61 R45.htm IDEA: XBRL DOCUMENT v3.23.3
Debt - Conversion Value of Convertible Notes (Details) - Senior Notes - USD ($)
$ in Millions
 9 Months Ended 12 Months Ended
Sep. 30, 2023
Dec. 31, 2022
Debt Instrument [Line Items]    
Total by which the notes’ if-converted value exceeds their principal amount $ 158.1 $ 1,395.1
Senior Convertible Notes due 2023    
Debt Instrument [Line Items]    
Total by which the notes’ if-converted value exceeds their principal amount 158.1 1,361.5
Senior Convertible Notes due 2025    
Debt Instrument [Line Items]    
Total by which the notes’ if-converted value exceeds their principal amount 0.0 33.6
Senior Convertible Notes due 2028    
Debt Instrument [Line Items]    
Total by which the notes’ if-converted value exceeds their principal amount $ 0.0 $ 0.0