C# highlight doesn't support numbers typed like 10_000