I don't care about Time.time being an IntInf.int, but what is this worry about overflow? It will happen when the clock overflows, and until we get to 64 bit machines it is going to be a problem. When we get there, which we will by then (then being the year 2033). Then we will move it to be an Int64. Game over for 292 billion years.