v3.25.2
Retirement Plans - Expected Employer Contributions and Benefit Payments and Other Retirement Plans (Details)
$ in Thousands
Apr. 30, 2025
USD ($)
Defined Benefit Plan, Expected Future Benefit Payment [Abstract]  
2026 $ 29,716
2027 30,377
2028 30,606
2029 31,765
2030 32,441
2031–2035 174,639
Total 329,544
US  
Defined Benefit Plan, Expected Future Benefit Payment [Abstract]  
2026 15,943
2027 15,880
2028 15,865
2029 15,886
2030 15,624
2031–2035 77,327
Total 156,525
Non-US  
Defined Benefit Plan, Expected Future Benefit Payment [Abstract]  
2026 13,773
2027 14,497
2028 14,741
2029 15,879
2030 16,817
2031–2035 97,312
Total $ 173,019