Debt Securities (Details) - USD ($) $ in Millions	3 Months Ended	6 Months Ended
Jan. 31, 2021	Jan. 31, 2020	Jan. 31, 2021	Jan. 31, 2020
Investments, Debt and Equity Securities [Abstract]
Proceeds from maturities and sales of available-for-sale securities	$ 5.0	$ 1.9	$ 11.6	$ 2.7

Amount of cash inflow from sale, maturity, prepayment and call of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale).

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 230
-SubTopic 10
-Section 45
-Paragraph 11
-URI http://asc.fasb.org/extlink&oid=121586364&loc=d3e3151-108585

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 230
-SubTopic 10
-Section 45
-Paragraph 12
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=121586364&loc=d3e3179-108585

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 45
-Paragraph 11
-URI http://asc.fasb.org/extlink&oid=121553693&loc=d3e26853-111562

Name:	us-gaap_ProceedsFromSaleAndMaturityOfAvailableForSaleSecurities
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration