Company Description and Summary of Significant Accounting Policies, Concentration of Credit Risk (Details) $ in Millions	Dec. 31, 2025 USD ($)
Concentration of Credit Risk [Abstract]
Cash equivalents not eligible for coverage	$ 44.8

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