(While datetime supports the years 1 to 9999.) But it's awkward that timestamps generated by datetime.timestamp() don't round-trip (even approximately, for the related issue about loss of millisecond ...