Fix fuer encode: ints richtig kodieren.

ints haben irrtuemlich nach Konversion in strings auch
ein $ vorangestellt bekommen, was dann einen fehlerhaften
Zahlenwert erzeugt hat.

Change-Id: I747f21f285a67939d07b9b61755d000030897ced
1 file changed