[Python-Dev] str() vs format(): trivia question