Use JMP Locale Settings( 0 ) not working on macOS

[#1]

It seems the following command does not work for JMP MacOS.

Use JMP Locale Settings( 0 )

Is there a general script to deal with the following scenario? Or do we need to put conditionals depending on the OS of the user?

// Configuring JMP to save CSV as commas and not 
	
	If( (Num( "3.14" ) == 3.14),
		is_EN_num_format = 1, //"English numeric format"
		is_EN_num_format = 0 //"Non-english");
		);
	
	If( is_EN_num_format == 0,	
		Preferences( Use JMP Locale Settings( 0 ) ));

// code

// Setting back the formatting of numbers to its original
	If( is_EN_num_format == 0,	
	Preferences( Use JMP Locale Settings( 1 ) ));