Leases (Details Textual)	Jun. 30, 2023
Minimum [Member]
Lessee, Lease, Description [Line Items]
CAT lease term	1 year
Maximum [Member]
Lessee, Lease, Description [Line Items]
CAT lease term	10 years

Term of lessee's operating lease, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents reported fact of one year, five months, and thirteen days.

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 50
-Paragraph 3
-Subparagraph (a)(3)
-URI https://asc.fasb.org/extlink&oid=128292326&loc=SL77918673-209980

Name:	us-gaap_LesseeOperatingLeaseTermOfContract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:durationItemType
Balance Type:	na
Period Type:	instant