The Office for National Statistics said gross domestic product edged 0.1% higher between October and December.