facetwp custom slider format

<?php
/** custom number format for a slider facet
 ** change_me needs to be changed to the name of the slider facet
 **/

add_filter( 'facetwp_render_output', function( $output, $params ) {
	if ( isset( $output['settings']['change_me'] ) ) {
		$output['settings']['change_me']['format'] = '0,0.0000';
	}
	return $output;
}, 10, 2 );