Make PyString's indexing and iteration return integers.
(I changed a few of Alexandre's decisions -- GvR.)