Added highlight-numbers-mode