XML 52 R38.htm IDEA: XBRL DOCUMENT v3.20.2
Debt - Conversion Value of Convertible Notes (Details) - Senior Notes - USD ($)
$ in Millions
6 Months Ended 12 Months Ended
Jun. 30, 2020
Dec. 31, 2019
Debt Instrument [Line Items]    
Total by which the notes’ if-converted value exceeds their principal amount $ 1,387.8 $ 858.6
Senior Convertible Notes due 2022    
Debt Instrument [Line Items]    
Total by which the notes’ if-converted value exceeds their principal amount 115.0 486.2
Senior Convertible Notes due 2023    
Debt Instrument [Line Items]    
Total by which the notes’ if-converted value exceeds their principal amount $ 1,272.8 $ 372.4