namespace Eva {
  public interface Numeric : Term {
    public abstract int int_value { get; }
    public abstract uint uint_value { get; }
    public abstract long long_value { get; }
    public abstract ulong ulong_value { get; }
    public abstract double double_value { get; }
  }
}