Leases (Supplemental Information) (Details) - USD ($) $ in Millions	Jul. 31, 2022	Jul. 31, 2021
Leases [Abstract]
Right-of-use lease assets	$ 44.7	$ 51.2
Current lease liabilities	16.3	18.1
Long-term lease liabilities	$ 28.5	$ 33.7
Operating Lease, Right-of-Use Asset, Statement of Financial Position [Extensible Enumeration]	Other long-term assets	Other long-term assets
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)	3 years 4 months 24 days	4 years 7 months 6 days
Weighted average discount rates (percentage)	3.17%	3.26%