It is not clear to me from the project plan why Infinities.Infinity is replacing Infinity.Infinity, not RealInfinity(true).
That said, what I really need for TransformVariables is a distinct positive and negative “infinity” type, ideally available with ∞ and -∞, that I can dispatch on so that TransformVariables.as is type stable.