Oh, wir diskutieren jetzt außerhalb des Themas des Threaderstellers.
Geht also gar nicht mehr um Int.

Na, denn. Auch ok.