Leases - Additional Information (Details) - USD ($) $ in Millions	3 Months Ended		6 Months Ended
	Jan. 31, 2023	Jan. 31, 2022	Jan. 31, 2023	Jan. 31, 2022
Lessee, Lease, Description [Line Items]
Operating lease, cost	$ 11.2	$ 10.8	$ 21.9	$ 21.7
Finance lease, cost	1.1	$ 0.6	1.8	$ 1.1
Operating lease expenses	$ 0.8		$ 1.7
Minimum
Lessee, Lease, Description [Line Items]
Remaining lease term			1 year
Maximum
Lessee, Lease, Description [Line Items]
Remaining lease term			7 years