<div dir="ltr"><div>Hey list,</div><div><br></div><div>I'm reading the <a href="https://systemd.io/USER_RECORD/">https://systemd.io/USER_RECORD/</a> spec and I have a question<br></div><div><br></div><div>There are some fields in the USER_RECORD spec which are described as "unsigned 64 bit integer values".   Specifically the fields describing time.  <br></div><div><br></div><div>However JSON lacks integers and only has doubles [0]; which would mean 53 bit integer precision is about the maximum we can reach.  It's unclear to me from the spec whether I should use doubles to encode these fields or use strings.  Would it be possible to further clarify it?   If it is indeed a number literal; this means the maximum date we can encode is 9007199254740991 which corresponds to  Tuesday, June 5, 2255   . This honestly is too soon in the future for my comfort.  I suggest encoding 64 bit integers as string literals instead to avoid the truncation problem.<br></div><div><div><br></div><div>[0] <a href="https://datatracker.ietf.org/doc/html/rfc7159#section-6">https://datatracker.ietf.org/doc/html/rfc7159#section-6</a></div></div></div>