Debt (Note Hedges) (Details) - 2025 Note Hedges - USD ($) shares in Millions, $ in Millions |
1 Months Ended | 3 Months Ended | |
|---|---|---|---|
Jun. 30, 2020 |
Oct. 31, 2024 |
Oct. 31, 2023 |
|
| Schedule of Note Hedge Transactions | |||
| Initial number of shares (in shares) | 20.1 | ||
| Aggregate proceeds | $ 370.8 | ||
| Common stock shares received from exercise of note hedges (in shares) | 2.3 | 0.3 | |