CONDENSED CONSOLIDATED STATEMENTS OF COMPREHENSIVE INCOME - USD ($) $ in Millions |
3 Months Ended | |
|---|---|---|
Oct. 31, 2024 |
Oct. 31, 2023 |
|
| Statement of Comprehensive Income [Abstract] | ||
| Net income | $ 350.7 | $ 194.2 |
| Other comprehensive income, net of tax: | ||
| Change in unrealized gains (losses) on investments | (3.6) | (18.2) |
| Cash flow hedges: | ||
| Change in unrealized gains (losses) | 0.0 | (40.9) |
| Net realized (gains) losses reclassified into earnings | 1.2 | 9.3 |
| Net change on cash flow hedges | 1.2 | (31.6) |
| Other comprehensive loss | (2.4) | (49.8) |
| Comprehensive income | $ 348.3 | $ 144.4 |
| X | ||||||||||
- Definition Amount after tax of increase (decrease) in equity from transactions and other events and circumstances from net income and other comprehensive income, attributable to parent entity. Excludes changes in equity resulting from investments by owners and distributions to owners. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition The portion of profit or loss for the period, net of income taxes, which is attributable to the parent. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- References No definition available.
|
| X | ||||||||||
- Definition Amount, after tax and adjustment, of unrealized gain (loss) on investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale) and unrealized gain (loss) on investment in debt security measured at amortized cost (held-to-maturity) from transfer to available-for-sale. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Amount, after tax and reclassification, of gain (loss) from derivative instrument designated and qualifying as cash flow hedge included in assessment of hedge effectiveness, attributable to parent. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Amount, after tax and before reclassification, of gain (loss) from derivative instrument designated and qualifying as cash flow hedge included in assessment of hedge effectiveness. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Amount, after tax, of reclassification of gain (loss) from accumulated other comprehensive income (AOCI) for derivative instrument designated and qualifying as cash flow hedge included in assessment of hedge effectiveness. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Amount after tax of other comprehensive income (loss) attributable to parent entity. Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
|
| X | ||||||||||
- References No definition available.
|
| X | ||||||||||
- References No definition available.
|