Use int representation for the dump