Yes, nothing wrong with mach time. The precision isn't really all that important, but it doesn't really cost much, if anything, so might as well use it. I only call it once per frame anyway, so it's essentially free, in terms of overhead.