The search "terraform leading zero" does not find the `format()` function, which is perfectly capable of adding leading zeros. Thus I have added this one word to help people find `format()`.