Lines Matching refs:decimal_point
69 static char decimal_point;
86 decimal_point = localeconv()->decimal_point[0];
256 fprintf(out, "%ld%c%02lds", sec, decimal_point, usec);
274 (intmax_t)after->tv_sec, decimal_point,
277 (intmax_t)ru->ru_utime.tv_sec, decimal_point,
280 (intmax_t)ru->ru_stime.tv_sec, decimal_point,
291 (intmax_t)after->tv_sec, decimal_point,
294 (intmax_t)ru->ru_utime.tv_sec, decimal_point,
297 (intmax_t)ru->ru_stime.tv_sec, decimal_point,