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.
The tonalsoft.com website is almost entirely the work of one person: me, Joe Monzo. Please reward me for my knowledge and effort by choosing your preferred level of financial support. Thank you.