airwin added the comment:
You can easily prove the limit is correct for real numbers. So I would be
willing to accept as a resolution of this issue that the type of division that
is going on here is real. However, that is a bit disquieting since if you try
a real slice index you get
New submission from airwin:
Note 5 (at
<https://docs.python.org/2/library/stdtypes.html#sequence-types-str-unicode-list-tuple-bytearray-buffer-xrange>
for Python 2 and at
<https://docs.python.org/3/library/stdtypes.html#common-sequence-operations>
for Python 3) concerning s[i:j:k
