This is a millisecond timer that tries to avoid floating-point
operations.