Please don’t make benchmarks with timing inside the loop creating a sum. Just time the loop and divide by the number. Stuff happens getting the time and the jitter can mess with results.
Interestingly I might have only ever used the time (shell) builtin command. GNU's time measuring command prints a bunch of other performance stats as well.
Quoting overrides aliases and builtins.
$ 'time' -v -- echo hi
hi
Command being timed: "echo hi"
[...]