Summary of Significant Accounting Policies - Transaction Price Allocated to Remaining Performance Obligations (Details) $ in Millions	Mar. 31, 2023 USD ($)
Fixed-price [Member]
Revenue Remaining Performance Obligation Expected Timing Of Satisfaction [Line Items]
Revenue, remaining performance obligation	$ 7.3
Managed-support Contracts [Member]
Revenue Remaining Performance Obligation Expected Timing Of Satisfaction [Line Items]
Revenue, remaining performance obligation	$ 55.6