v3.25.2
Revenues - Allowance for Credit Losses (Details) - USD ($)
$ in Millions
3 Months Ended
Aug. 31, 2025
Aug. 31, 2024
Accounts Receivable, Allowance for Credit Loss [Roll Forward]    
Balance as of June 1, 2025 $ 11.0  
Provision for losses on accounts receivable 0.7 $ 0.9
Write-offs and other (0.8)  
Balance as of August 31, 2025 $ 10.9