Use TimeStamp newtype rather than bare Word64s