Employee Benefit Plans (Estimated Future Benefit Payments for U.S. and Non U.S. Plans) (Details) $ in Millions |
Jul. 31, 2025
USD ($)
|
|---|---|
| Defined Benefit Plan, Expected Future Benefit Payment | |
| 2026 | $ 26.8 |
| 2027 | 28.2 |
| 2028 | 29.4 |
| 2029 | 30.1 |
| 2030 | 31.0 |
| 2031-2035 | $ 159.1 |
| X | ||||||||||
- References No definition available.
|
| X | ||||||||||
- Definition Amount of benefit for defined benefit plan expected to be paid in five fiscal years after fifth fiscal year following current fiscal year. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Amount of benefit for defined benefit plan expected to be paid in next fiscal year following current fiscal year. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Amount of benefit for defined benefit plan expected to be paid in fifth fiscal year following current fiscal year. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Amount of benefit for defined benefit plan expected to be paid in fourth fiscal year following current fiscal year. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Amount of benefit for defined benefit plan expected to be paid in third fiscal year following current fiscal year. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Amount of benefit for defined benefit plan expected to be paid in second fiscal year following current fiscal year. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|