I've been trying and failing to find a paper/article/blog post (I think it was a paper) on a particular algebraic structure. The paper describes a structure consisting of something like a constant $0$, an associative binary operation $+$ for which $0$ is the unit, and an $\omega$-ary operation $\Sigma$ that agrees with repeated addition if cofinitely many of the arguments are $0$. There were some other requirements I believe, because this is not enough for the following result. One of the points the paper made was that the set $[0,\infty]$ (the 'set of magnitudes') with its usual addition was the free object on one point for this algebraic structure, so this gave an elementary construction of the real numbers. This is also why the structure was called something like a 'magnitude algebra'.

I feel like this must be enough information to dig up the paper, but I have had no luck after a lot of trying, so I can only conclude I'm misremembering something. Does anyone know the text I'm looking for?