Implement TotalEq and TotalOrd for Timespec