what is the keyword "is" for?

[Dan Bishop]

Sybren Stuvel wrote [on the difference between is and ==]:
> Obviously "a is b" implies "a == b",

Not necessarily.

>>> a = b = 1e1000 / 1e1000
>>> a is b
True
>>> a == b
False