print(Float(1) / Float.infinity) // 0.0 print(Float(-1) / Float.infinity) // -0.0
超実数の全体 *R は実数体 R の拡大体であり、 1 + 1 + ⋯ + 1 1+1+\cdots +1 の形に書ける如何なる数よりも大きい元を含む。