added UInt64 class