XML 89 R73.htm IDEA: XBRL DOCUMENT v3.23.3
Leases (Supplemental Information) (Details) - USD ($)
$ in Millions
Jul. 31, 2023
Jul. 31, 2022
Leases [Abstract]    
Right-of-use lease assets $ 59.4 $ 44.7
Current lease liabilities 17.8 16.3
Long-term lease liabilities $ 42.4 $ 28.5
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) 4 years 2 months 12 days 3 years 4 months 24 days
Weighted average discount rates (as a percentage) 3.89% 3.17%