json: support parsing hex integers