Income Taxes (Reconciliation of Beginning and Ending Amount of Gross Unrecognized Tax Benefits) (Details) - USD ($) $ in Millions |
12 Months Ended | ||
|---|---|---|---|
Jul. 31, 2025 |
Jul. 31, 2024 |
Jul. 31, 2023 |
|
| Reconciliation of the Beginning and Ending Amounts of Gross Unrecognized Tax Benefits | |||
| Balance as of beginning of year | $ 20.8 | $ 15.0 | $ 15.2 |
| Additions for tax positions of the current year | 3.3 | 2.8 | 2.5 |
| Additions for tax positions of prior years | 0.6 | 6.2 | 0.0 |
| Reductions for tax positions of prior years | 0.0 | (0.1) | |
| Reductions for tax positions of prior years | 0.1 | ||
| Reductions due to lapse of applicable statute of limitations | (2.7) | (3.1) | (2.8) |
| Balance as of end of year | $ 22.0 | $ 20.8 | $ 15.0 |
| X | ||||||||||
- Definition Unrecognized Tax Benefits, Decrease Resulting from Prior Period Tax Positions, Net No definition available.
|
| X | ||||||||||
- Definition A roll forward is a reconciliation of a concept from the beginning of a period to the end of a period. No definition available.
|
| X | ||||||||||
- Definition Amount of unrecognized tax benefits. Reference 1: http://www.xbrl.org/2003/role/exampleRef
|
| X | ||||||||||
- Definition Amount of decrease in unrecognized tax benefits resulting from tax positions taken in prior period tax returns. Reference 1: http://www.xbrl.org/2003/role/exampleRef
|
| X | ||||||||||
- Definition Amount of increase in unrecognized tax benefits resulting from tax positions that have been or will be taken in current period tax return. Reference 1: http://www.xbrl.org/2003/role/exampleRef
|
| X | ||||||||||
- Definition Amount of increase in unrecognized tax benefits resulting from tax positions taken in prior period tax returns. Reference 1: http://www.xbrl.org/2003/role/exampleRef
|
| X | ||||||||||
- Definition Amount of decrease in unrecognized tax benefits resulting from lapses of applicable statutes of limitations. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|