yet more NativeFiniteSets code