Remove Leading Zeros From A Python String With .lstrip()

Passing a zero to [TODO: Code shorthand span ] will remove leading zeros instead of trimming leading whitespace

python

original = "0001234"
    
stripped = original.lstrip('0')
    
print(stripped)

results start

Add example of [TODO: Code shorthand span ] or whatever for the multiple character strip.
Check if doing int() also strips leading zeros
Either way make a version that turns the string into an int