[macrolocal]

By analogy with stacks, my intuition is that Spec(N) still has a one-dimensional geometry, but with a (-1)-dimensional tier from quotienting out the prime points by a semiring action.