A monomorphism from the image of the icon map to the positive reals under multiplication (or by the log map, equivalently to the reals under addition).
This is a map to an abelian group acting on itself as an interval space, with 1 in the abelian group of p-limit rational numbers Np going to the real number 1.