more NativeFiniteSets code