def zstrip(numeral):
    """Strip leading zero characters from the numeral string"""
    numeral = numeral.lstrip('0') # strip all '0' from left end of string
    if numeral == '': # case if initially only 0's -- and all removed
        numeral = '0'
    return numeral