How to obtain the mobile device iOS version from a Frida JS script

frida_ios_version.js

// How to obtain the mobile device iOS version from a Frida JS script:
//
// (c) 2020 DinoSec (www.dinosec.com)

if (ObjC.available) { 

    var version = iOSVersion();
    console.log("iOS version: " + version);
    
    // return ObjC.classes.NSProcessInfo.processInfo().operatingSystemVersionString().toString();
    function iOSVersion() {
        var processInfo = ObjC.classes.NSProcessInfo.processInfo();
        var versionString = processInfo.operatingSystemVersionString().toString();
        // E.g. "Version 13.5 (Build 17F75)"
        var ver = versionString.split(' ');
        var version = ver[1];
        // E.g. 13.5
        return version;
    }
}