Restructuring and Other Charges (Details) - USD ($) $ in Millions	3 Months Ended	6 Months Ended	12 Months Ended
	Jan. 31, 2025	Jan. 31, 2025	Jul. 31, 2024
Restructuring Cost and Reserve
Severance costs			$ 6.4
Operating Segments
Restructuring Cost and Reserve
Severance costs	$ 2.2	$ 5.5
Employee-related Liabilities, Current
Restructuring Cost and Reserve
Restructuring reserve	6.2	6.2	6.4
Cost of Sales
Restructuring Cost and Reserve
Severance costs			3.8
Cost of Sales | Operating Segments
Restructuring Cost and Reserve
Severance costs	0.6	1.7
Operating Expense
Restructuring Cost and Reserve
Severance costs			$ 2.6
Operating Expense | Operating Segments
Restructuring Cost and Reserve
Severance costs	$ 1.6	$ 3.8