UID Std.int over cast