src/HOL/Matrix/Compute_Oracle/am_sml.ML

 fun get_guid () = 
     let
         val c = !guid_counter
         val _ = guid_counter := !guid_counter + 1
     in
-        (LargeInt.toString (Time.toMicroseconds (Time.now ()))) ^ (string_of_int c)
+        (Int.toString (Time.toMicroseconds (Time.now ()))) ^ (string_of_int c)
     end
 
 
 fun writeTextFile name s = File.write (Path.explode name) s