output hex numbers for node ids in Node.dump() as in tracebacks etc.