Attached is a refreshed patch that makes integer datetimes the default.
Platforms that don't have a working 64-bit integer type will fail to
configure by default; they can specify "--disable-integer-datetimes" to
switch back to using floating-point based datetimes.
Barring any objections, I'll apply this to HEAD tomorrow.
-Neil
