Leading Zeros on Numbers when createing PDF from a Workflow

[PocketSurvey]

Is there an expression to pad a number with leading zeros? I know you can choose leading aeros on the data type but I want to format when printing a PDF.

For example, I want 1 to print as 0001

I cannot see a format string for the TEXT expression. Is there one?