def short_to_decimal(code):
    """
    Convert an ICD9 code from short format to decimal format.
    """

    if len(code) <= 3:
        return code.lstrip("0")
    else:
        return code[:3].lstrip("0") + "." + code[3:]