v3.26.1
Disaggregated Revenue by Geographic Location (Detail) - USD ($)
$ in Millions
12 Months Ended
May 31, 2026
May 31, 2025
May 31, 2024
Revenues by Geographic Location [Line Items]      
Total Revenue $ 870.4 $ 894.7 $ 924.2
Domestic      
Revenues by Geographic Location [Line Items]      
Total Revenue 425.1 446.0 465.2
International      
Revenues by Geographic Location [Line Items]      
Total Revenue $ 445.3 $ 448.7 $ 459.0