Wolfgang Maier writes: > Second, is that one byte optimization special for str() from int or is it > happening elsewhere too (like in string literals without non-english > characters)? Where can I find that documented? http://www.python.org/dev/peps/pep-0393/