Restructuring and Other Charges (Details) - USD ($) $ in Millions	3 Months Ended	9 Months Ended	12 Months Ended
	Apr. 30, 2025	Apr. 30, 2025	Jul. 31, 2024
Restructuring Cost and Reserve
Severance costs			$ 6.4
Operating Segments
Restructuring Cost and Reserve
Severance costs	$ 4.2	$ 9.6
Employee-related Liabilities, Current
Restructuring Cost and Reserve
Restructuring reserve	6.3	6.3	6.4
Cost of Sales
Restructuring Cost and Reserve
Severance costs			3.8
Cost of Sales | Operating Segments
Restructuring Cost and Reserve
Severance costs	2.6	4.3
Operating Expense
Restructuring Cost and Reserve
Severance costs			$ 2.6
Operating Expense | Operating Segments
Restructuring Cost and Reserve
Severance costs	$ 1.6	$ 5.3