00 rounding not working for localized decimal/thousand separator

WooCommerce decimals separator is set to ‘,’ and thousands separator is ” (empty).

When I try to increase product price by 5% percent and round with 00,
1210,00 price turns to 1,00.

Is this a bug or am I doing something wrong?

I got it working by changing the plugin code a bit in /classes/models/products.php:

if ($decimals > 0) {
                    switch ($round_to) {
                        case 100:
                            //$value = number_format(round($value), 2);
                            $value = number_format(round($value), 2, wc_get_price_decimal_separator(), wc_get_price_thousand_separator());
                            ...