output cut off when infinity character is present

[Yin Wang]

When the ∞ character is present, the output after that point will be cut off.

reproducer:

x = int()

if 1.5 < x and x < 10:
    if x < 6.2:
        w = x # [2, 6]
    else:
        w = x # [7, 10)
else:
    w = x # (-∞, 1] [10, +∞)

print w

[Yin Wang]

Hmm it turns out that the file just needs an encoding line:

# -*- coding: utf-8 -*-