if(inner.size()!=2)
throw new InternalError("\"/\" requires two arguments "+getLocationText());
if(inner.get(0).isConstant()&&inner.get(1).isConstant()){
if(inner.get(0).getType()==SCParser.NUMBER&&inner.get(1).getType()==SCParser.NUMBER){
try{
ParserVal ret=new Number(inner.get(0).asDouble()/inner.get(1).asDouble());
ret.setFilename(filename);
ret.setLine(line);
return ret;
}catch(NumberFormatException ex){
throw new IllegalArgumentException("should not happen: number format error", ex);
}
}