Salve a tutti,
devo stampare un double su file

codice:
std::ofstream f(file.c_str(),std::ios::app);			
f<<n<<std::endl;
il problema è che mi occorrono più cifre decimali (almeno 12).
Ho cercato su google ma non riesco a trovare degli esempi.
Grazie