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.

Ah.  I see that in order to implement Time.fromReal and Time.toReal, I would
need Real.toLargeInt and Real.fromLargeInt.  Sadly, these are not implemented.
They're on Henry's todo list :-).