You now have compile-time workaround, so everything should be fine.
You can always measure wall-clock time with /usr/bin/time
You do (at least, also) want to know how many cycles where eaten.
We might introduce a time format string that
gives the possibility to see it all.
As in
% /usr/bin/time find
0.03user 0.14system 0:11.55elapsed 1%CPU
Then we have it all.
default(timeformat," %Uuser %Ssystem %Eelapsed %C%%CPU") <--= suggestion
which at the moment would be
default(timeformat,"time = %U ")
as in
? factor(2^239-1)
time = 23 ms.