Attached is a patch that enables integer datetimes by default, per
recent discussion on -hackers. It makes "--enable-integer-datetimes" the
default, and documents the "--disable-integer-datetimes" configure
option as a means to get the previous default behavior.
Barring any objections, I'll apply this to HEAD tomorrow.
-Neil