Public sector net borrowing was £18.8 billion in October.