v3.25.2
Commitments and Contingencies (Arrangement Liabilities) (Details) - USD ($)
$ in Millions
12 Months Ended
Jul. 31, 2025
Jul. 31, 2024
Purilogics | Contingent compensation    
Business Combination    
Contingent consideration accrued $ 0.0 $ 2.1
Maximum payout of contingent consideration 0.0 3.0
Payment for contingent consideration liability 3.0  
Purilogics | Future Performance    
Business Combination    
Maximum payout of contingent consideration 21.0 27.0
Contingent consideration liability 9.8 19.0
Increase (decrease) in contingent consideration (6.2)  
Cumulative payment for contingent consideration liability 5.0  
Payment for contingent consideration liability 3.0 2.0
Other | Contingent compensation    
Business Combination    
Contingent consideration accrued 0.2 0.3
Maximum payout of contingent consideration 0.2 0.8
Other | Future Performance    
Business Combination    
Maximum payout of contingent consideration 1.5 2.8
Contingent consideration liability 1.5 $ 2.8
Increase (decrease) in contingent consideration 1.5  
Cumulative payment for contingent consideration liability $ 2.8