public override void Accept(Contracts.IOracleModelVisitor visitor)
 {
     visitor.VisitIntegerConstant(this);
 }