Leases (Tables)

12 Months Ended

Jul. 31, 2023

Leases [Abstract]

Schedule of Lease Cost

The Company’s operating lease costs were as follows (in millions):

	Year Ended July 31,
	2023		2022
Operating lease cost	$	24.5	$	21.4
Short-term lease cost	3.2		3.1
Total lease costs	$	27.7	$	24.5

Schedule of Supplemental Balance Sheet Information

Supplemental balance sheet information for the Company was as follows (in millions):

		July 31,
	Balance Sheet Location	2023		2022
Right-of-use lease assets	Other long-term assets	$	59.4	$	44.7
Current lease liabilities	Other current liabilities	$	17.8	$	16.3
Long-term lease liabilities	Other long-term liabilities	$	42.4	$	28.5

Additional information related to operating leases was as follows:

	July 31,
	2023		2022
Weighted average remaining lease term (years)	4.2		3.4
Weighted average discount rate	3.89	%	3.17	%

Schedule of Operating Lease Liability

Remaining payments for operating leases having initial terms of more than one year as of July 31, 2023 were as follows (in millions):

2024	$	19.6
2025	15.2
2026	11.3
2027	8.1
2028	5.7
Thereafter	5.3
Total future lease payments	65.2
Less imputed interest	5.0
Present value of future lease payments	$	60.2