v3.25.2
Segment Information - Geographic Information (Details) - USD ($)
$ in Millions
3 Months Ended
Aug. 31, 2025
Aug. 31, 2024
Revenues from External Customers and Long-Lived Assets [Line Items]    
Revenues $ 225.6 $ 237.2
Long-lived assets 447.6 469.9
United States    
Revenues from External Customers and Long-Lived Assets [Line Items]    
Revenues 141.7 149.7
Long-lived assets 412.4 436.0
International    
Revenues from External Customers and Long-Lived Assets [Line Items]    
Revenues 83.9 87.5
Long-lived assets $ 35.2 $ 33.9