Use picoseconds integers for the CPU in-execution-loop timing.