Atomic time and the rotation of pulsars.