python format specifier for integer