XML 71 R61.htm IDEA: XBRL DOCUMENT v3.25.2
Leases (Details 3) - USD ($)
$ in Millions
Jul. 31, 2025
Apr. 30, 2025
Operating Lease Liabilities, Payments Due [Abstract]    
2026 (remainder of the year) $ 32.9  
2027 24.5  
2028 15.2  
2029 13.3  
2030 12.8  
2031 and beyond 50.0  
Total undiscounted minimum lease payments 148.7  
Less: Imputed interest 22.4  
Total operating lease liabilities 126.3  
Finance Lease Liabilities, Payments, Due [Abstract]    
2026 (remainder of the year) 2.8  
2027 3.5  
2028 3.3  
2029 1.9  
2030 0.7  
2031 and beyond 0.7  
Total undiscounted minimum lease payments 12.9  
Less: Imputed interest 1.2  
Total finance lease liabilities $ 11.7 $ 12.5