Employee Benefit Plans (Details) $ in Millions |
3 Months Ended | 9 Months Ended |
|---|---|---|
|
Apr. 30, 2019
USD ($)
|
Apr. 30, 2019
USD ($)
plan
|
|
| Defined Benefit Plan Disclosure [Line Items] | ||
| Number of U.S. plans | plan | 2 | |
| Annual company retirement contribution in addition to 401 (k) match, percent | 3.00% | |
| Pension Plan | United States | ||
| Defined Benefit Plan Disclosure [Line Items] | ||
| Company contributions | $ 1.3 | |
| Estimated future contributions to pension plans | $ 3.1 | 3.1 |
| Discretionary contributions | 8.0 | |
| Pension Plan | Foreign Plan | ||
| Defined Benefit Plan Disclosure [Line Items] | ||
| Company contributions | 1.0 | |
| Additional future contribution towards pension plans for the remainder of Fiscal 2018 | $ 0.3 | $ 0.3 |