##
Write(real.PositiveInfinity);