Note 12. Accumulated Other Comprehensive Income Accumulated Other Comprehensive Income (Details) - USD ($) $ in Millions	12 Months Ended
	Dec. 31, 2023	Dec. 31, 2022	Dec. 31, 2021
Accumulated Other Comprehensive Income (Loss) [Line Items]
Accumulated other comprehensive income	$ 11.0	$ 19.7
Other comprehensive income, net of tax, before reclassifications	10.3	31.4
Reclassification from Accumulated Other Comprehensive Income, Current Period, Net of Tax	(26.0)	3.7
Amounts reclassified to discontinued operations, net of tax	0.0	1.3	$ 0.0
Other Comprehensive Income (Loss), Net of Tax	15.7	(36.4)	(15.1)
Other comprehensive income	(8.7)	36.7
Reclassification from AOCI, Current Period, Tax	7.4	0.9
Accumulated Foreign Currency Adjustment Attributable to Parent [Member]
Accumulated Other Comprehensive Income (Loss) [Line Items]
Accumulated other comprehensive income	0.0	0.0	(1.3)
Other comprehensive income, net of tax, before reclassifications	0.0	0.0
Reclassification from Accumulated Other Comprehensive Income, Current Period, Net of Tax	0.0	0.0
Amounts reclassified to discontinued operations, net of tax		1.3
Other comprehensive income	0.0	1.3
Reclassification from AOCI, Current Period, Tax	0.0	0.0
Accumulated Net Gain (Loss) from Cash Flow Hedges Attributable to Parent [Member]
Accumulated Other Comprehensive Income (Loss) [Line Items]
Accumulated other comprehensive income	12.4	20.9	(12.2)
Other comprehensive income, net of tax, before reclassifications	10.6	29.3
Reclassification from Accumulated Other Comprehensive Income, Current Period, Net of Tax	(26.1)	3.5
Amounts reclassified to discontinued operations, net of tax		0.0
Other comprehensive income	(8.5)	33.1
Reclassification from AOCI, Current Period, Tax	7.4	0.8
Accumulated Net Gain (Loss) from Cash Flow Hedges Attributable to Parent [Member] | TRIP Holdings
Accumulated Other Comprehensive Income (Loss) [Line Items]
Reclassification from AOCI, Current Period, Tax	13.2
Accumulated Net Gain (Loss) from Cash Flow Hedges Attributable to Parent [Member] | Parent Company [Member]
Accumulated Other Comprehensive Income (Loss) [Line Items]
Reclassification from AOCI, Current Period, Tax	4.4
Accumulated Defined Benefit Plans Adjustment, Net Gain (Loss) Attributable to Parent [Member]
Accumulated Other Comprehensive Income (Loss) [Line Items]
Accumulated other comprehensive income	(1.4)	(1.2)	(3.5)
Other comprehensive income, net of tax, before reclassifications	(0.3)	2.1
Reclassification from Accumulated Other Comprehensive Income, Current Period, Net of Tax	0.1	0.2
Amounts reclassified to discontinued operations, net of tax		0.0
Other comprehensive income	(0.2)	2.3
Reclassification from AOCI, Current Period, Tax	0.0	0.1
Accumulated Gain (Loss), Net, Cash Flow Hedge, Noncontrolling Interest [Member]
Accumulated Other Comprehensive Income (Loss) [Line Items]
Other Comprehensive Income (Loss), Net of Tax	7.0	0.3
Noncontrolling Interest [Member]
Accumulated Other Comprehensive Income (Loss) [Line Items]
Other Comprehensive Income (Loss), Net of Tax	7.0	0.3	(1.2)
AOCI Attributable to Parent [Member]
Accumulated Other Comprehensive Income (Loss) [Line Items]
Accumulated other comprehensive income	11.0	19.7	(17.0)
Other Comprehensive Income (Loss), Net of Tax	$ 8.7	$ (36.7)	$ (13.9)