XML 86 R76.htm IDEA: XBRL DOCUMENT v3.25.0.1
Leases (Details 3) - USD ($)
$ in Millions
Jan. 31, 2025
Apr. 30, 2024
Operating Lease Liabilities, Payments Due [Abstract]    
2025 (remainder of the year) $ 10.6  
2026 41.2  
2027 21.4  
2028 12.3  
2029 10.9  
2030 and beyond 52.9  
Total undiscounted minimum lease payments 149.3  
Less: Imputed interest 21.5  
Total operating lease liabilities 127.8  
Finance Lease Liabilities, Payments, Due [Abstract]    
2025 (remainder of the year) 0.9  
2026 3.4  
2027 3.1  
2028 2.9  
2029 1.5  
2030 and beyond 0.5  
Total undiscounted minimum lease payments 12.3  
Less: Imputed interest 1.1  
Total finance lease liabilities $ 11.2 $ 11.1