Commitments and Contingencies - Additional Information (Detail) $ in Millions	Sep. 30, 2023 USD ($)
Commitments and Contingencies Disclosure [Line Items]
Letters of credit, collateral for retrospective premiums and retained losses	$ 92.7
Commitments to purchase major equipment	197.0
Current obligation	34.5
Purchase obligations for remainder of 2023	14.2
Purchase obligations for 2024	16.3
Purchase obligations for 2025	4.0
Letter of Credit
Commitments and Contingencies Disclosure [Line Items]
Amount drawn under letters of credit	$ 0.0

The total amount of the contingent obligation under letters of credit outstanding as of the reporting date.

No definition available.

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

- Definition

The carrying value as of the balance sheet date of the current and noncurrent portions of long-term obligations drawn from a line of credit, which is a bank's commitment to make loans up to a specific amount. Examples of items that might be included in the application of this element may consist of letters of credit, standby letters of credit, and revolving credit arrangements, under which borrowings can be made up to a maximum amount as of any point in time conditional on satisfaction of specified terms before, as of and after the date of drawdowns on the line. Includes short-term obligations that would normally be classified as current liabilities but for which (a) postbalance sheet date issuance of a long term obligation to refinance the short term obligation on a long term basis, or (b) the enterprise has entered into a financing agreement that clearly permits the enterprise to refinance the short-term obligation on a long term basis and the following conditions are met (1) the agreement does not expire within 1 year and is not cancelable by the lender except for violation of an objectively determinable provision, (2) no violation exists at the BS date, and (3) the lender has entered into the financing agreement is expected to be financially capable of honoring the agreement.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(22))
-SubTopic 10
-Topic 210
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147480566/210-10-S99-1

Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 944
-SubTopic 210
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.7-03(a)(16)(a)(2))
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479440/944-210-S99-1

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Topic 942
-SubTopic 210
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.9-03(16))
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479853/942-210-S99-1

+ Details

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

- Definition

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.

+ References

No definition available.

+ Details

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

- Definition

Minimum amount to be expended to satisfy the terms of arrangements in which the entity has agreed to expend funds to procure goods or services, excluding long-term purchase commitments or unconditional purchase obligations.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Topic 942
-SubTopic 210
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.9-03(17))
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479853/942-210-S99-1

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Topic 210
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(25))
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147480566/210-10-S99-1

+ Details

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

- Definition

Amount of fixed and determinable portion of unrecorded unconditional purchase obligation to be paid in next fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 440
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 4
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482648/440-10-50-4

+ Details

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

- Definition

Amount of fixed and determinable portion of unrecorded unconditional purchase obligation to be paid in second fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

+ Details

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

- Definition

Amount of the unrecorded obligation to transfer funds in the future for fixed or minimum amounts or quantities of goods or services at fixed or minimum prices (for example, as in take-or-pay contracts or throughput contracts).

+ References

+ Details

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

- Definition

Amount of fixed and determinable portion of unrecorded unconditional purchase obligation to be paid in remainder of current fiscal year.

+ References

No definition available.

+ Details

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

- Details

Name:	us-gaap_LongtermDebtTypeAxis=us-gaap_LetterOfCreditMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: