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.