format specifier in python for float