Investments - Available-for-sale securities, Unrealized Loss (Details) $ in Thousands	Jun. 30, 2023 USD ($)
Debt Securities, Available-for-Sale, Unrealized Loss Position [Line Items]
Fair Value of Investments with Unrealized Losses,12 months or greater	$ 437,651
Gross Unrealized Losses, 12 months or greater	(15,163)
Fair Value of Investments with Unrealized Losses	437,651
Gross Unrealized Losses	(15,163)
Corporate bonds
Debt Securities, Available-for-Sale, Unrealized Loss Position [Line Items]
Fair Value of Investments with Unrealized Losses,12 months or greater	149,659
Gross Unrealized Losses, 12 months or greater	(4,310)
Fair Value of Investments with Unrealized Losses	149,659
Gross Unrealized Losses	(4,310)
U.S. Treasuries
Debt Securities, Available-for-Sale, Unrealized Loss Position [Line Items]
Fair Value of Investments with Unrealized Losses,12 months or greater	287,992
Gross Unrealized Losses, 12 months or greater	(10,853)
Fair Value of Investments with Unrealized Losses	287,992
Gross Unrealized Losses	$ (10,853)

Line items represent financial concepts included in a table. These concepts are used to disclose reportable information associated with domain members defined in one or many axes to the table.

Name:	us-gaap_AvailableForSaleSecuritiesContinuousUnrealizedLossPositionFairValueAbstract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- 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.

+ References

Reference 1: http://www.xbrl.org/2003/role/exampleRef
-Topic 326
-SubTopic 30
-Name Accounting Standards Codification
-Section 55
-Paragraph 8
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479081/326-30-55-8

Reference 2: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 7
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481800/320-10-50-7

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Topic 326
-SubTopic 30
-Name Accounting Standards Codification
-Section 50
-Paragraph 5
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479106/326-30-50-5

+ Details

Name:	us-gaap_DebtSecuritiesAvailableForSaleContinuousUnrealizedLossPosition12MonthsOrLonger
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- 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.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 7
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481800/320-10-50-7

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 326
-SubTopic 30
-Name Accounting Standards Codification
-Section 50
-Paragraph 5
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479106/326-30-50-5

+ Details

Name:	us-gaap_DebtSecuritiesAvailableForSaleContinuousUnrealizedLossPosition12MonthsOrLongerAccumulatedLoss
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- 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 unrealized loss position without allowance for credit loss.

+ References

Reference 1: http://www.xbrl.org/2003/role/exampleRef
-Topic 326
-SubTopic 30
-Name Accounting Standards Codification
-Section 55
-Paragraph 8
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479081/326-30-55-8

Reference 2: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 6
-Subparagraph (a)(1)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481800/320-10-50-6

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Topic 326
-SubTopic 30
-Name Accounting Standards Codification
-Section 50
-Paragraph 4
-Subparagraph (a)(1)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479106/326-30-50-4

+ Details

Name:	us-gaap_DebtSecuritiesAvailableForSaleUnrealizedLossPosition
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- 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 unrealized loss position, without allowance for credit loss. Includes beneficial interest in securitized financial asset.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 6
-Subparagraph (a)(2)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481800/320-10-50-6

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 326
-SubTopic 30
-Name Accounting Standards Codification
-Section 50
-Paragraph 4
-Subparagraph (a)(2)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479106/326-30-50-4

+ Details

Name:	us-gaap_DebtSecuritiesAvailableForSaleUnrealizedLossPositionAccumulatedLoss
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Details

Name:	us-gaap_FinancialInstrumentAxis=us-gaap_CorporateBondSecuritiesMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_FinancialInstrumentAxis=us-gaap_USTreasurySecuritiesMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: