anchor.diff:      if (integer < 0) {
           digits = digits.follow(new Character.$fromInt(45));
       }
  -    return String.nativeValue(new String(digits));
  +    return $dartString(new String(digits));
   }
   
   $dart$core.String formatInteger([$dart$core.int integer, $dart$core.Object radix = $package$dart$default]) => $package$formatInteger(integer, radix);
  
positive.code:         } else if (switch$11 == "f") {
              return -15;
          } else {
              if (String.instance(String.instance(string).lowercased).startsWith(String.instance("e")) && String.instance(string).rest.every($package$digitOrSign)) {
                  return $package$parseInteger(String.nativeValue(String.instance(string).rest));
              } else {
                  return null;
              }
  
negative.code:         }
          $dart$core.String oldString = this.toString();
          clear();
          _$delegate.write($ceylonString(($dartString($ceylonString(oldString).spanTo($ceylonInteger(index - 1))) + string) + $dartString($ceylonString(oldString).spanFrom($ceylonInteger(index)))));
          return this;
      }
      StringBuilder insertCharacter([$dart$core.int index, Character character]) => insert(index, character.toString());
  