Company Description and Summary of Significant Accounting Policies, Concentration of Credit Risk (Details) $ in Millions	Sep. 30, 2024 USD ($)
Concentration of Credit Risk [Abstract]
Cash equivalents not eligible for coverage	$ 36.1

The amount of cash equivalents as of the balance sheet date that is not insured by the Federal Deposit Insurance Corporation.

No definition available.

Name:	ird_CashEquivalentsNotEligibleForFDICCoverage
Namespace Prefix:	ird_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant