File::WriteDouble

File::WriteDouble
inline void WriteDouble(double v);