XML 85 R67.htm IDEA: XBRL DOCUMENT v3.25.1
Commitments and Contingencies (Arrangement Liabilities) (Details) - USD ($)
$ in Millions
3 Months Ended 9 Months Ended 12 Months Ended
Apr. 30, 2025
Jan. 31, 2025
Apr. 30, 2025
Jul. 31, 2024
Purilogics | Contingent Compensation        
Business Acquisition        
Contingent consideration $ 2.8   $ 2.8 $ 2.1
Maximum payout 3.0   3.0 3.0
Purilogics | Future Performance        
Business Acquisition        
Maximum payout 27.0   27.0 27.0
Contingent consideration liability 13.6   13.6 19.0
Decrease in fair value of contingent consideration 6.2      
Contingent consideration liability, investing activities 1.0 $ 1.8 2.8 2.0
Other | Contingent Compensation        
Business Acquisition        
Contingent consideration 0.3   0.3 0.3
Maximum payout 0.5   0.5 0.8
Other | Future Performance        
Business Acquisition        
Maximum payout 0.0   0.0 2.8
Contingent consideration liability $ 0.0   $ 0.0 $ 2.8