XML 35 R82.htm IDEA: XBRL DOCUMENT v3.20.2
Employee Benefit Plans (Estimated Future Benefit Payments for U.S. and Non U.S. Plans) (Details)
$ in Millions
Jul. 31, 2020
USD ($)
Retirement Benefits, Description [Abstract]  
2021 $ 30.0
2022 27.3
2023 27.5
2024 25.9
2025 29.7
2025-2029 $ 147.3