XML 129 R114.htm IDEA: XBRL DOCUMENT v3.25.2
Employee Benefit Plans - Schedule of change in benefit obligations (Details) - USD ($)
$ in Millions
 12 Months Ended
May 31, 2025
May 31, 2024
May 31, 2023
U.K. | Pension Plans      
Change in benefit obligation:      
Benefit obligation at beginning of year $ 26.7 $ 25.1  
Interest cost 1.3 1.3 $ 1.0
Plan participants’ contributions 0.0 0.0  
Actuarial losses (gains) (2.6) 0.9  
Foreign currency translation 1.5 0.7  
Benefits paid, including expenses (1.6) (1.3)  
Benefit obligation at end of year 25.3 26.7 25.1
United States | Other Postretirement Benefits      
Change in benefit obligation:      
Benefit obligation at beginning of year 7.2 8.0  
Interest cost 0.3 0.3 0.3
Plan participants’ contributions 0.0 0.1  
Actuarial losses (gains) 0.0 (0.3)  
Foreign currency translation 0.0 0.0  
Benefits paid, including expenses (1.0) (0.9)  
Benefit obligation at end of year $ 6.5 $ 7.2 $ 8.0