function my_formatted_woocommerce_price($price_number_format, $price, $decimals, $decimal_separator, $thousand_separator) {
if (!fmod($price, 1)) {
return number_format($price, 0, "", $thousand_separator);
}
return $price_number_format;
}
add_filter( 'formatted_woocommerce_price', 'my_formatted_woocommerce_price', 10, 5 );