Yes, I get that, but nobody cares about a millisecond or two. Calling the time() function itself takes time.

Whatever. Leave it if you want.