<?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 );