What is the cleanest way to obtain the numeric prefix of a string in Python?
By \"clean\" I mean simple, short, readable. I couldn\'t care less about performance, a
Simpler version (leaving the other answer as there's some interesting debate about which approach is better)
input[:-len(input.lstrip("0123456789"))]