Other operating expenses (Details) - USD ($) $ in Millions |
1 Months Ended | 12 Months Ended | ||
|---|---|---|---|---|
Sep. 30, 2023 |
Dec. 31, 2025 |
Dec. 31, 2024 |
Dec. 31, 2023 |
|
| Other Operating Expenses [Abstract] | ||||
| Impairment loss (see Note 7) | $ 28.5 | $ 28.5 | ||
| Sundry | $ 1.5 | $ 0.8 | 0.8 | |
| Total Other Operating Expenses | $ 1.5 | $ 0.8 | $ 29.3 | |