Is there a neat may to get numerical month from date function?

I was just wondering if there is a neat way of getting the month from the string returned by date() as a numeric.  For example in the UK this is the format I get

print date()
  13 Jan 2025

I want to get the current month Jan as either 01 or 1

At the moment all I can see is using a list of month abbreviations and compare.

I was a bit hasty in asking - just seen this example in Help 

rint Secs2Date(DateTime,-2)
  2025-01-13