E' la funzione che invia il valore su stream. Se è NULL allora invia allo stdout (in genere lo schermo). Per i parametri trovi tutto su

http://www.delorie.com/gnu/docs/gmp/gmp_57.html

Ma perché parli di un "double"?