제가 공부가 짧아 expl3로 구현은 못하겠지만, 다음과 같은 파이썬 코드를 expl3로 옮길 수 있나요?

def mynumformat(s):
    l = list(s)
    l.reverse()
    l_l = len(l)
    t_l = []
    i = 1
    for c  in l:
        t_l.append(c)
        if i % 3 == 0 and i < l_l:
            t_l.append(",")
        i += 1
    t_l.reverse()
    s = "".join(t_l)
    return s

print(mynumformat("1000"))
print(mynumformat("10000"))
print(mynumformat("100000"))

얼핏 문서를 ​보니 토큰 리스트에서 토큰을 하나씩 가져올 수도 있고, 빈 토큰 리스트를 만들고 토큰을 하나씩 추가하는 것도 가능해 보이기는 하던데요.