Make PEER tags simple small integers in decimal instead of %p output.