in functions.php
<?php // woocommerce fix decimals
function site_woocommerce_get_price($price, $product) {
$decimal_sep = wp_specialchars_decode(stripslashes(get_option('woocommerce_price_decimal_sep')), ENT_QUOTES);
if ($decimal_sep != '.')
$price = str_replace($decimal_sep, '.', $price);
return $price;
}
add_filter('woocommerce_get_price', 'site_woocommerce_get_price', 10, 2);
?>