What is the difference between tv_sec and time_stamp from sys/time.h in c? tv_sec gives an integer answer and timestamp gives an answer with .000000 at the end, other than being