Pour installer GNU time dans OSX ?

BSD time donne ce genre de résultat

9990

real    0m4.371s
user    0m1.548s
sys 0m2.167s

GNU time donne à nouveau ce genre de résultat

9990
1.56s user 1.46s system 82% cpu 3.648 total

La recherche gtime ne donne rien. GNU time se trouve probablement dans une bibliothèque C, mais je ne sais pas laquelle. Il n'y a pas de paquetage apparent pour cela.

Comment installer GNU time dans OSX ?