public class Div extends ArithBinary {
  public Div (int id) {
  }
  public Object sem () throws SemanticException {
    return super.sem("/");
  }
  public Object run () {
    if (T == Integer.class)
      return IntLit.div((Number)a.run(), (Number)b.run());
    return FloatLit.div((Number)a.run(), (Number)b.run());
  }
}