March 9, 2019
5:34 a.m.
Thanks for suggesting that. I looked into the issue, and it can be a trickier to truncate the output because truncation also affects things like the default time type and the TZ string, and truncation might affect the 32-bit data (which is already truncated) differently from the 64-bit data. I wrote a different implementation, which supports truncating newer timestamps as well, as per Internet RFC 8536. Please give the attached proposed patch a try.