MeasureTheory.jl currently has InfiniteArrays.jl as a dependency, because @dlfivefifty has some nice utilities for dealing with infinity as an integer value. This makes it handy for representing things like the support of a Poisson measure (we can write `ℤ[0:∞]`

). Here’s the code we depend on.

But this has some issues,

- We’re bringing in a lot of other code from InfiniteArrays we’re not currently using, and
- The name
`∞`

collides with an export from @Tamas_Papp 's TransformVariables.jl, which we also rely on heavily.

The obvious solution is to have an `Infinity.jl`

the “owns” the name and has some sensible properties, and have everything depend on that. But there’s already such a library! Here’s Infinity.jl from @cjdoris .

But that doesn’t quite solve it, because here the standard is `∞ <: Real`

.

So, my hope is that there might be a way to include all of the “infinity functionality” in Infinity.jl. Then everything that needs ∞ can depend on this one package.

Do you think this can work out?