v3.22.2.2
Acquisitions (Narrative) (Details)
€ in Millions, $ in Millions
3 Months Ended
Jul. 31, 2022
USD ($)
Jan. 31, 2022
USD ($)
Jan. 31, 2022
EUR (€)
Oct. 31, 2022
USD ($)
PAIS        
Business Acquisition        
Acquisitions, net of cash acquired   $ 3.3    
Maximum payout   1.7    
Solaris        
Business Acquisition        
Acquisitions, net of cash acquired   $ 45.7 € 41.0  
Purilogics, LLC        
Business Acquisition        
Acquisitions, net of cash acquired $ 19.9      
Maximum payout $ 29.0     $ 29.0