Hi, I have a question for this TODO comment. During deserialization of JSON, do we want to get timestamp during object construction, or would it be done declaratively? Also, what formatting do we want for dates and timestamps? 