Why bash time is more precise then GNU time? The buitin bash command `time` gives milisecond precision of execution and GNU `time` (usually /usr/bin/time) gives centisecond precision. The `times(2)` syscall gives times in clocks, and 100 clocks = 1 second (usually), so the precision is like GNU `time`. So the question is what is bash `time` using so that it's more precise?

After some hardcore bash code examining I found out that bash `time` uses `getrusage()` and GNU `time` uses `times()`. `getrusage()` is far more precise because of microsecond resolution.