On the value group of a model of Peano Arithmetic