Other Income, Net (Details) - USD ($) $ in Millions |
3 Months Ended | |
|---|---|---|
Oct. 31, 2024 |
Oct. 31, 2023 |
|
| Other Income and Expenses [Abstract] | ||
| Interest income | $ 85.7 | $ 71.2 |
| Foreign currency exchange gains (losses), net | (7.5) | 5.1 |
| Other, net | 5.1 | (6.0) |
| Total other income, net | $ 83.3 | $ 70.3 |
| X | ||||||||||
- Definition Other Nonoperating Income (Expense), Net No definition available.
|
| X | ||||||||||
- Definition Amount, before tax, of realized and unrealized gain (loss) from foreign currency transaction. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Amount of interest income earned from interest bearing assets classified as other. No definition available.
|
| X | ||||||||||
- References No definition available.
|
| X | ||||||||||
- Definition Amount of income (expense) related to nonoperating activities, classified as other. Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
|