Prefer clock() over times() for timer function, except on the Mac, where we use GetTicks() -- its clock() is a crock, with only 1 second accuracy, I believe.
Prefer clock() over times() for timer function, except on the Mac,
where we use GetTicks() -- its clock() is a crock, with only 1 second
accuracy, I believe.

sk-/python2.7-type-annotator,sk-/python2.7-type-annotator,sk-/python2.7-type-annotator