Pads a number to four digits with leading zeros.