Other assets - Additional Information (Details) - USD ($) $ in Millions	3 Months Ended
	Mar. 31, 2025	Mar. 31, 2024
OPA | City of Henderson Redevelopment Agency | OtherIncome
Other Assets Non Current [Line Items]
Infrastructure reimbursement	$ 0.0	$ 0.0