UInt64 renamed and added