XML 109 R88.htm IDEA: XBRL DOCUMENT v3.24.1.1.u2
Leases (Details 3) - USD ($)
$ in Millions
Apr. 30, 2024
Apr. 30, 2023
Lessee, Operating Lease, Liability, Payment, Due [Abstract]    
2025 $ 47.9  
2026 44.3  
2027 25.6  
2028 17.6  
2029 16.4  
2030 and beyond 60.5  
Total undiscounted minimum lease payments 212.3  
Less: Imputed interest 28.3  
Lease liabilities 184.0 $ 110.4
Finance Lease, Liability, Payment, Due [Abstract]    
2025 3.2  
2026 2.9  
2027 2.5  
2028 2.3  
2029 0.9  
2030 and beyond 0.5  
Total undiscounted minimum lease payments 12.3  
Less: Imputed interest 1.2  
Total finance lease liabilities $ 11.1 $ 3.4