anchor.diff:    Integer get successor => new Integer(this._value + 1);
   
     // Comparable
  +  Comparison compare([Float other])
  +      =>  _value < other._value ? smaller : (_value > other._value ? larger : equal);
   
     //Comparison compare(Integer other);
   
  
positive.code:   Integer get negated => new Integer(-this._value);
    Integer minus(Integer other) => new Integer(this._value - other._value);
  
    Integer plus(Integer other) => new Integer(this._value + other._value);
  
    Integer power([Integer other]) => new Integer($dart$math.pow(this._value, other._value));
  
  
negative.code:   Float times([Float other]) => new Float(this._value * other._value);
  
    Float get negated => new Float(-this._value);
    Float minus([Float other]) => new Float(this._value - other._value);
  
    Float plus([Float other]) => new Float(this._value + other._value);
  
    Float power([Float other]) => new Float($dart$math.pow(this._value, other._value));
  
    // Comparable
    Comparison compare([Float other])
        =>  _value < other._value ? smaller : (_value > other._value ? larger : equal);
  
    //Comparison compare(Integer other);
  
  