Re: Infinity as index

[steve donovan <steve.j.donovan@...>]

On Thu, Apr 24, 2014 at 6:13 PM, Dirk Laurie <dirk.laurie@gmail.com> wrote:
> Nothing special about inf here, actually.
> Any large number will do the same.

Sure (and I think some of us depend on that implicitly).  In this
situation, inf is the ultimate "large number"