Fix a minor issue with pygments highlighter.
Fix a minor issue with pygments highlighter.

The literal `12e3n` now correctly highlights the `n` as part of the
number.

edgedb/edgedb,edgedb/edgedb,edgedb/edgedb