AHZ
s *= AHZ;
s += ns / (1000000000 / AHZ); /* Maximize precision. */
t / (double)AHZ, ctime(&ab.ac_btime));
delta = expand(ab.ac_etime) / (double)AHZ;
ci.ci_io = decode_comp_t(ac.ac_io) / AHZ;
(ci.ci_utime + ci.ci_stime) / (double) AHZ,
t = (cip->ci_utime + cip->ci_stime) / (double) AHZ;
printf("%11.2fre ", cip->ci_etime / (double) (AHZ * c));
printf("%11.2fre ", cip->ci_etime / (60.0 * AHZ));
printf("%11.2fu ", cip->ci_utime / (double) (AHZ * c));
printf("%11.2fu ", cip->ci_utime / (60.0 * AHZ));
printf("%11.2fs ", cip->ci_stime / (double) (AHZ * c));
printf("%11.2fs ", cip->ci_stime / (60.0 * AHZ));
(double) AHZ;