python floating point format specifier