Code: correctly highlight integer literals such as `1_000_000`

closes #24
sync CHANGES