Rename UnsignedLongSet.size()