eigentlich hätte ich gestern Abend ins Bett sollen. Allerdings mußte ich mich zu später Stunde entschließen nun doch mal ein wenig Python zu schnuppern. Nu bin ich mit Kaffee vollgepumpt

Ist es ratsam, Integer die von stdin kommen generell als String zu lesen und zu casten? Ein foo = int (raw_input ('Insert :')) läßt sich prima durch faule Eingaben abschießen. Oder hab ich nur nicht die richtige Funktion gefunden?
Gruß, Frank