for(int i=0;i<args.length;i++) d += JS.toDouble(args[i]);
t.push(new Double(d));
} else {
- double d=0.0;
int i=0;
- do {
- d += JS.toDouble(args[i++]);
- } while(!(args[i] instanceof String));
StringBuffer sb = new StringBuffer(64);
- sb.append(JS.toString(new Double(d)));
+ if(!(args[0] instanceof String || args[1] instanceof String)) {
+ double d=0.0;
+ do {
+ d += JS.toDouble(args[i++]);
+ } while(!(args[i] instanceof String));
+ sb.append(JS.toString(new Double(d)));
+ }
while(i < args.length) sb.append(JS.toString(args[i++]));
t.push(sb.toString());
}