Lines Matching defs:decimal_point
72 static char decimal_point;
89 decimal_point = localeconv()->decimal_point[0];
262 fprintf(out, "%ld%c%02lds", sec, decimal_point, centisec);
280 (intmax_t)after->tv_sec, decimal_point,
283 (intmax_t)ru->ru_utime.tv_sec, decimal_point,
286 (intmax_t)ru->ru_stime.tv_sec, decimal_point,
297 (intmax_t)after->tv_sec, decimal_point,
300 (intmax_t)ru->ru_utime.tv_sec, decimal_point,
303 (intmax_t)ru->ru_stime.tv_sec, decimal_point,