scanf format specifier for double