double类型输出格式