Quarterly report [Sections 13 or 15(d)]

Other Income, Net (Schedule of Other Income, Net) (Details)

v3.25.2
Other Income, Net (Schedule of Other Income, Net) (Details) - USD ($)
$ in Millions
3 Months Ended
Aug. 31, 2025
Aug. 31, 2024
Other Income and Expenses [Abstract]    
Interest income on corporate investments $ 18.7 $ 19.9
Other 5.1 0.1
Other income, net $ 23.8 $ 20.0