Add support for hexadecimal integer literals

Fixes #728.
Is this line needed?