output: fix doc of output_double