Commitments and Contingencies (Arrangement Liabilities) (Details) - USD ($) $ in Millions	3 Months Ended	12 Months Ended
	Oct. 31, 2025	Jul. 31, 2025	Jul. 31, 2024
Other (2) | Contingent Compensation
Business Combination
Contingent consideration	$ 0.1	$ 0.2
Maximum payout	0.2	0.2
Other (2) | Future Performance
Business Combination
Maximum payout	1.5	1.5
Contingent consideration liability	1.5	1.5
Purilogics | Future Performance
Business Combination
Maximum payout	21.0	21.0
Contingent consideration liability	9.8	9.8
Contingent consideration liability, investing activities	$ 0.1	$ 5.0	$ 5.0