Summary of Significant Accounting Policies - ViriCiti Earnout Liability (Details) $ in Millions	Jan. 31, 2023 USD ($)
ViriCiti
Fair Value, Liabilities Measured on Recurring Basis, Unobservable Input Reconciliation [Line Items]
Earn-out contingent consideration	$ 7.1

Amount of liability recognized arising from contingent consideration in a business combination.

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

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Topic 805
-SubTopic 30
-Section 25
-Paragraph 6
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479668/805-30-25-6

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Section 35
-Paragraph 1
-Subparagraph (b)
-SubTopic 30
-Topic 805
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479613/805-30-35-1

Name:	us-gaap_BusinessCombinationContingentConsiderationLiability
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant