Schade, hatte mich schon gefreut gehabt.
D.h. also, dass mein Gewurschtel die einzige Lösung ist? Tja, auch ein blindes Huhn findet hin und wieder ein Korn.
Gibt es zumindest einen direkten Weg, wie man Integer in Double umwandelt, damit ich mir den Umweg über String ersparen kann?