Contingent Consideration - Significant Inputs and Assumptions (Details)	Jun. 30, 2023 lease	Dec. 31, 2022 lease	Dec. 31, 2020
Risk-free interest rate | DBOT
Fair Value Measurement Inputs and Valuation Techniques [Line Items]
Contingent consideration liability, measurement input	0.1	0.1
Risk-free interest rate | Solectrac
Fair Value Measurement Inputs and Valuation Techniques [Line Items]
Contingent consideration liability, measurement input	3.4	3.4
Risk-free interest rate | VIA Motors International, Inc.
Fair Value Measurement Inputs and Valuation Techniques [Line Items]
Contingent consideration liability, measurement input	0.037
Expected volatility | DBOT
Fair Value Measurement Inputs and Valuation Techniques [Line Items]
Contingent consideration liability, measurement input			30
Expected volatility | Solectrac
Fair Value Measurement Inputs and Valuation Techniques [Line Items]
Contingent consideration liability, measurement input	25	25
Expected volatility | VIA Motors International, Inc.
Fair Value Measurement Inputs and Valuation Techniques [Line Items]
Contingent consideration liability, measurement input	0.650
Expected term (years) | DBOT
Fair Value Measurement Inputs and Valuation Techniques [Line Items]
Contingent consideration liability, measurement input	0.08	0.08
Expected dividend yield | DBOT
Fair Value Measurement Inputs and Valuation Techniques [Line Items]
Contingent consideration liability, measurement input	0	0
Weighted-average cost of capital | Tree Technologies
Fair Value Measurement Inputs and Valuation Techniques [Line Items]
Contingent consideration liability, measurement input	15	15
Probability | Tree Technologies | Minimum
Fair Value Measurement Inputs and Valuation Techniques [Line Items]
Contingent consideration liability, measurement input	5	5
Probability | Tree Technologies | Maximum
Fair Value Measurement Inputs and Valuation Techniques [Line Items]
Contingent consideration liability, measurement input	20	20
Expected discount rate | Solectrac
Fair Value Measurement Inputs and Valuation Techniques [Line Items]
Contingent consideration liability, measurement input	13.1	13.1
Expected discount rate | VIA Motors International, Inc.
Fair Value Measurement Inputs and Valuation Techniques [Line Items]
Contingent consideration liability, measurement input	0.139