woothemes/woocommerce — comment on commit ceff57323cdd0627bb51c4d31df6b0084cfddb9f
File:  line 0
By GeertDD:

The regex only trims off trailing zeros if all decimal digits are zeroes, otherwise the number is left as it was. This is how the code worked before my regex replacement too. I guess this is a matter of preference then, but again, now "€ 10,50" will be displayed as "€ 10,5". I'm not very fond of that.

Anyway, the hardcoded dot should be replaced by the "woocommerce_price_decimal_sep" option. I think we both agree on that, do we?