package tarau.jinni;
public class Int extends Num {
  public Int(long i) {
    val=i;
  }

  long val;

  public String name() {
    return ""+val;
  }

  boolean bind_to(Term that,Trail trail) {
     return super.bind_to(that,trail) &&
		 ((double)val==(double)((Int)that).val);
	 // unbelievable but true: converting
	 // to double is the only way to convince
	 // Microsoft's jview that 1==1
	 // $$ casting to double to be removed
	 // once they get it right
  }

  public final int getArity() {
    return Term.INT;
  }

  public final long longValue() {
    return val;
  }

  public final int intValue() {
    return (int)val;
  }

  public final double getValue() {
	  return (double)val;
  }
}