In currencies, the euro was at $1.1752, having touched its highest level since the start of October in the previous session.