c语言double输入输出格式