real class : PositiveInfinity getter

realInstance.PositiveInfinity

None

//anyReal is a instance of real type.

real positiveInfinity = anyReal.PositiveInfinity;

It's a wrapper of the System.Double.PositiveInfinity.

This getter is a constant. Please note that is not affected by the value of the calling instance.

https://msdn.microsoft.com/en-us/library/system.double.positiveinfinity.aspx