python format specifier for float