v3.26.3
Segment Information and Geographic Data - Disaggregated Revenue (Detail) - USD ($)
$ in Millions
3 Months Ended
Aug. 31, 2026
Aug. 31, 2025
Revenues by Geographic Location [Line Items]    
Total revenue $ 222.8 $ 209.2
Domestic    
Revenues by Geographic Location [Line Items]    
Total revenue 110.1 102.1
International    
Revenues by Geographic Location [Line Items]    
Total revenue $ 112.7 $ 107.1