Lines Matching refs:decimal_point
68 static char decimal_point;
85 decimal_point = localeconv()->decimal_point[0];
248 fprintf(out, "%ld%c%02lds", sec, decimal_point, usec);
266 (intmax_t)after->tv_sec, decimal_point,
269 (intmax_t)ru->ru_utime.tv_sec, decimal_point,
272 (intmax_t)ru->ru_stime.tv_sec, decimal_point,
283 (intmax_t)after->tv_sec, decimal_point,
286 (intmax_t)ru->ru_utime.tv_sec, decimal_point,
289 (intmax_t)ru->ru_stime.tv_sec, decimal_point,