Employee Benefit Plans - Schedule of Estimated Future Benefit Payments (Details) $ in Millions |
Jul. 31, 2026
USD ($)
|
|---|---|
| Defined Benefit Plan, Expected Future Benefit Payment | |
| 2027 | $ 28.3 |
| 2028 | 29.4 |
| 2029 | 30.7 |
| 2030 | 30.5 |
| 2031 | 29.3 |
| 2032-2036 | $ 165.6 |
| 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
|