我想知道在 DolphinDB 中是否有 Python rjust 或 zfill 的替代品。
我想在字符串的指定一侧添加零（0），直到它达到指定的长度。我该怎么办？
decimalFormat(123,"00000"); 00123