Add support for hexadecimal integer literals

Fixes #728.
Good point!