python format string for integer