XML 53 R45.htm IDEA: XBRL DOCUMENT v3.25.4
Revenue Recognition - Summary of Changes in Contract Liabilities (Detail)
$ in Millions
6 Months Ended
Nov. 30, 2025
USD ($)
Change in Contract with Customer, Liability [Abstract]  
Beginning Balance $ 5.2
Unearned revenue from cash received during the period 2.4
Revenue recognized related to contract liability balance (2.0)
Ending Balance $ 5.6