Fix default decimal symbol and recompiled JS