XML 73 R62.htm IDEA: XBRL DOCUMENT v3.25.3
Leases (Details 3) - USD ($)
$ in Millions
Oct. 31, 2025
Apr. 30, 2025
Operating Lease Liabilities, Payments Due [Abstract]    
2026 (remainder of the year) $ 22.8  
2027 34.5  
2028 25.5  
2029 23.9  
2030 23.7  
2031 and beyond 58.0  
Total undiscounted minimum lease payments 188.4  
Less: Imputed interest 27.1  
Total operating lease liabilities 161.3  
Finance Lease Liabilities, Payments, Due [Abstract]    
2026 (remainder of the year) 1.9  
2027 3.6  
2028 3.4  
2029 2.0  
2030 0.8  
2031 and beyond 0.5  
Total undiscounted minimum lease payments 12.2  
Less: Imputed interest 1.0  
Total finance lease liabilities $ 11.2 $ 12.5