Debt (Warrants) (Details) $ / shares in Units, shares in Millions, $ in Millions |
1 Months Ended | 3 Months Ended | ||
|---|---|---|---|---|
|
Jun. 30, 2020
USD ($)
$ / shares
shares
|
Jul. 31, 2018
USD ($)
day
$ / shares
shares
|
Oct. 31, 2024
day
|
Oct. 31, 2023
USD ($)
shares
|
|
| Class of Warrant or Right | ||||
| Warrant trading days | day | 60 | |||
| 2025 Notes | ||||
| Class of Warrant or Right | ||||
| Sale price of warrants (in percentage) | 0.375% | 0.75% | ||
| 2023 Warrants | ||||
| Class of Warrant or Right | ||||
| Warrant trading days | day | 60 | |||
| Initial number of shares (in shares) | shares | 19.1 | |||
| Strike price per share (in usd per share) | $ / shares | $ 139.27 | |||
| Proceeds from issuance of warrants | $ | $ 145.4 | |||
| Settlement of warrants (in shares) | shares | 3.1 | |||
| Settlement of warrants | $ | $ 763.5 | |||
| 2025 Warrants | ||||
| Class of Warrant or Right | ||||
| Initial number of shares (in shares) | shares | 20.1 | |||
| Strike price per share (in usd per share) | $ / shares | $ 136.16 | |||
| Proceeds from issuance of warrants | $ | $ 202.8 | |||