Leases (Supplemental Information) (Details) - USD ($) $ in Millions |
Jul. 31, 2025 |
Jul. 31, 2024 |
Jul. 31, 2023 |
|---|---|---|---|
| Leases [Abstract] | |||
| Right-of-use lease assets | $ 60.5 | $ 59.7 | $ 59.5 |
| Current lease liabilities | 24.1 | 20.2 | |
| Long-term lease liabilities | $ 37.8 | $ 41.3 | |
| Operating Lease, Liability, Current, Statement of Financial Position [Extensible Enumeration] | Other current liabilities | Other current liabilities | |
| Operating Lease, Liability, Noncurrent, Statement of Financial Position [Extensible Enumeration] | Other long-term liabilities | Other long-term liabilities | |
| Weighted average remaining lease term (years) | 4 years 1 month 6 days | 3 years 6 months | |
| Weighted average discount rates (as a percentage) | 6.44% | 4.61% | |
| Operating Lease, Right-of-Use Asset, Statement of Financial Position [Extensible Enumeration] | Other long-term assets | Other long-term assets | Other long-term assets |