Number highlighting in C++ mode