If you are looking to do the same in MapInfo Pro, you can use the Format$() function which can format values in numerous ways.
For this example you can use this expression to make sure your zip code is 5 digits with zeros at the beginning:
Format$(ZIP, "00000")
Be aware that the input value, the zip code, must be a numeric value. If it's a string, you can force it into a numeric value using the Val() function:
Format$(Val(ZIP), "00000")
So if you want to update your existing zip code column with zeros padded, you can use the Update Column statement or the Update Column dialog:
Update ADDRESSES Set ZIP = Format$(Val(ZIP), "00000")

------------------------------
Peter Horsbøll Møller
Pitney Bowes
------------------------------
Original Message:
Sent: 07-24-2019 04:20
From: Bill Allen
Subject: Solving an annoying problem of missing leading zeros
You can use the TEXT function:
=TEXT(A1,"00000000000000000000")
------------------------------
William Allen
Data Engineer
Pitney Bowes Software Ltd
Henley-On-Thames
Original Message:
Sent: 07-23-2019 13:32
From: Carlton Hemphill
Subject: Solving an annoying problem of missing leading zeros
Is it possible to pad a number in Excel without it being a true zip code? For instance, can I pad a number with zeros and it be as long as 20 digits?
------------------------------
Carlton Hemphill
Knowledge Community Shared Account
Original Message:
Sent: 07-15-2019 16:22
From: Tom Gilligan
Subject: Solving an annoying problem of missing leading zeros
A simple tutorial for Data Geeks who get stymied by the USPS's desire to put leading zeros on US Postal Codes (my zipcode of 03766 gets conveniently converted to 3766 if I am not careful in Excel). Our friends at Aggdata have a simple guide to solving this.
Article is here: Adding Zeroes Back to Zip Codes in Excel
------------------------------
Tom Gilligan
Pitney Bowes Software, Inc.
White River Junction, VT, USA
------------------------------