Hintergrund Ich habe eine Zeichenfolge in Python, die ich in eine Ganzzahl konvertieren möchte. Normalerweise würde ich nur verwenden int: >>> int("123") 123 Leider ist diese Methode nicht sehr robust, da nur übereinstimmende Zeichenfolgen akzeptiert werden -?[0-9]+(nachdem alle führenden...