Parser: make check_int() accept hex input if prefixed with 0x