XML 87 R73.htm IDEA: XBRL DOCUMENT v3.23.3
Revenue recognition - Schedule of Rollforward of Contract Liabilities (Details)
$ in Millions
9 Months Ended
Sep. 30, 2023
USD ($)
Change in Contract With Customer, Liability [Roll Forward]  
Beginning of period $ 31.7
End of period 27.9
Revenue recognized in the period from amounts included in contract liability at the beginning of the period: $ (7.3)