Time.time

[Stephen Weeks]

Anybody have any objections to changing Time.time to use LargeInt instead of
Int?  That is, changing from

      datatype time = T of {sec: Int.int, usec: Int.int}

to

      datatype time = T of {sec: LargeInt.int, usec: LargeInt.int}

Then we don't have to worry about Overflow.