anchor.diff:              default:
                   throw "Invalid input for num conversion";
           }
  -
  -        if (_value is double)
  -            type = 0;
  -        else
  -            type = 1;
       }
   
       value() => _value;
  
positive.code:     operator /(other) {
          var result;
  
          if (type == 0 || other.type == 0)
              result = _value / other.value();
          else
              result = _value ~/ other.value();
  
negative.code: }
  
  class $PyNum {
      var _value;
  
      $PyNum(value) {
          switch ($getType(value)) {
  