Fixed bug that CJavaScript::encode was formatting floats in a wrong way during encoding