Python read numeric data from file. In a comment on this question, I saw a state...