v3.24.3
Leases (Details 3) - USD ($)
$ in Millions
Oct. 31, 2024
Apr. 30, 2024
Operating Lease Liabilities, Payments Due [Abstract]    
2025 (remainder of the year) $ 23.7  
2026 45.3  
2027 26.5  
2028 18.2  
2029 16.9  
2030 and beyond 60.7  
Total undiscounted minimum lease payments 191.3  
Less: Imputed interest 24.9  
Total operating lease liabilities 166.4  
Finance Lease Liabilities, Payments, Due [Abstract]    
2025 (remainder of the year) 1.9  
2026 3.4  
2027 3.1  
2028 2.9  
2029 1.5  
2030 and beyond 0.5  
Total undiscounted minimum lease payments 13.3  
Less: Imputed interest 1.3  
Total finance lease liabilities $ 12.0 $ 11.1