String operations would be nice to add as well. For example: STRING.LEFT([HOUR_0_23_Z]),1 to get the first digit of the time.
Or formatting could be kept simple: LEFT, RIGHT, MID
With this it would be so much easier to achieve time formatting where non monospaced fonts make the time change look cheap. I know we could use bitmap fonts, but that’s so much more resourceful.