Employee Benefit And Retirement Plans - Additional Information (Details) - USD ($) $ in Millions |
3 Months Ended | 6 Months Ended | 12 Months Ended | ||
|---|---|---|---|---|---|
May 31, 2024 |
May 31, 2023 |
May 31, 2024 |
May 31, 2023 |
Nov. 30, 2023 |
|
| Retirement Benefits [Abstract] | |||||
| Payment for pension benefits | $ 3.5 | $ 3.6 | $ 9.2 | ||
| Pension and other postretirement benefits (income), excluding service cost components | $ (2.3) | $ (2.8) | $ (4.3) | $ (5.4) | |