v3.26.1
Leases (Details) - USD ($)
$ in Millions
12 Months Ended
May 31, 2026
May 31, 2025
May 31, 2024
Operating lease cost      
Operating lease cost $ 42.4 $ 28.0 $ 23.9
Short-term lease cost 5.3 6.0 6.6
Variable lease cost 13.0 5.9 5.4
Total operating lease cost $ 60.7 $ 39.9 $ 35.9