Add support for hexadecimal integer literals

Fixes #728.