Cash Equivalents and Investments (Available-for-sale Debt Securities Narrative) (Details) - USD ($) $ in Millions |
Oct. 31, 2024 |
Jul. 31, 2024 |
|---|---|---|
| Investments, Debt and Equity Securities [Abstract] | ||
| Gross unrealized losses for available-for-sale debt securities in a continuous unrealized loss position for less than 12 months | $ (7.3) | $ (1.5) |
| Available-for-sale debt securities in a continuous unrealized loss position for less than 12 months | 1,200.0 | 949.4 |
| Gross unrealized losses for available-for-sale debt securities in a continuous unrealized loss position for more than 12 months | (1.3) | (6.0) |
| Available-for-sale debt securities in a continuous unrealized loss position for more than 12 months | $ 372.5 | $ 915.3 |
| X | ||||||||||
- Definition Amount of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), in continuous unrealized loss position for more than 12 months, without allowance for credit loss. Includes beneficial interest in securitized financial asset. Reference 1: http://www.xbrl.org/2003/role/exampleRef
|
| X | ||||||||||
- Definition Amount of accumulated unrealized loss on investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), in continuous unrealized loss position for 12 months or longer, without allowance for credit loss. Includes beneficial interest in securitized financial asset. Reference 1: http://fasb.org/us-gaap/role/ref/otherTransitionRef
|
| X | ||||||||||
- Definition Amount of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), in continuous unrealized loss position for less than 12 months, without allowance for credit loss. Includes beneficial interest in securitized financial asset. Reference 1: http://www.xbrl.org/2003/role/exampleRef
|
| X | ||||||||||
- Definition Amount of accumulated unrealized loss on investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), in continuous unrealized loss position for less than 12 months, without allowance for credit loss. Includes beneficial interest in securitized financial asset. Reference 1: http://fasb.org/us-gaap/role/ref/otherTransitionRef
|
| X | ||||||||||
- References No definition available.
|