prevent numbers in idententifiers from being highlighted