Debt (Components of Convertible Senior Notes) (Details) - 2025 Notes - USD ($) $ in Millions |
Oct. 31, 2024 |
Jul. 31, 2024 |
|---|---|---|
| Debt Instrument, Redemption | ||
| Principal | $ 646.6 | $ 965.6 |
| Less: debt issuance costs, net of amortization | (0.8) | (1.7) |
| Net carrying amount | $ 645.8 | $ 963.9 |
| X | ||||||||||
- Definition Amount, before unamortized (discount) premium and debt issuance costs, of long-term debt. Includes, but is not limited to, notes payable, bonds payable, commercial loans, mortgage loans, convertible debt, subordinated debt and other types of debt. Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
|
| X | ||||||||||
- Definition Line items represent financial concepts included in a table. These concepts are used to disclose reportable information associated with domain members defined in one or many axes to the table. No definition available.
|
| X | ||||||||||
- Definition Amount of unamortized debt discount (premium) and debt issuance costs. Reference 1: http://www.xbrl.org/2003/role/exampleRef
|
| X | ||||||||||
- Definition Amount, after deduction of unamortized premium (discount) and debt issuance cost, of long-term debt. Excludes lease obligation. Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
|
| X | ||||||||||
- Details
|