v3.26.1
Leases (Details 3) - USD ($)
$ in Millions
Jul. 31, 2026
Apr. 30, 2026
Operating Lease Liabilities, Payments Due [Abstract]    
2027 (remainder of the year) $ 32.0  
2028 37.3  
2029 35.8  
2030 34.9  
2031 33.5  
2032 and beyond 50.5  
Total undiscounted minimum lease payments 224.0  
Less: Imputed interest 31.2  
Total operating lease liabilities 192.8  
Finance Lease Liabilities, Payments, Due [Abstract]    
2027 (remainder of the year) 2.9  
2028 3.7  
2029 2.3  
2030 0.9  
2031 0.5  
2032 and beyond 0.1  
Total undiscounted minimum lease payments 10.4  
Less: Imputed interest 0.8  
Total finance lease liabilities $ 9.6 $ 10.4