Income Taxes - Schedule of Income Tax Paid, by Individual Jurisdiction (Details) $ in Millions |
12 Months Ended |
|---|---|
|
Jul. 31, 2026
USD ($)
| |
| Income Tax Paid, by Individual Jurisdiction [Line Items] | |
| Foreign | $ 103.7 |
| Mexico | |
| Income Tax Paid, by Individual Jurisdiction [Line Items] | |
| Foreign | 22.6 |
| China | |
| Income Tax Paid, by Individual Jurisdiction [Line Items] | |
| Foreign | $ 12.0 |