Updated format specifier for double