print_double 1212 common/printf/printf_core.c static int print_double(double g, char spec, int precision, int width, print_double 1212 kernel/generic/common/printf/printf_core.c static int print_double(double g, char spec, int precision, int width, print_double 1212 uspace/lib/c/common/printf/printf_core.c static int print_double(double g, char spec, int precision, int width,HelenOS homepage, sources at GitHub