How to encode a DateTime?

[barries]

I'm looking for a low level format for binary logs, and I'd like to encode the timestamp DateTime using CBOR tag 1 with an f64 to capture millis into a CBOR tuple--where can I find docs or hints on how to do that?

Thanks!