Yes, on the MI-1040 (using online TurboTax), the zip code is formatted as the full zip code: 48442-1154. So it is formatted correctly there, but not on the MI Homestead Property Tax Credit Claim form (MI 1040CR).
