Thread: Integer datetime by default

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

On Tue, 2008-03-25 at 12:54 -0700, Neil Conway wrote:
> Barring any objections, I'll apply this to HEAD tomorrow.

Applied to HEAD.

-Neil