The ZIP code is being displayed as a number, causing leading zeros to be dropped so 01234 becomes 1234. This is not critical, but if this is ever used someplace else (like to pull up the address in Google Maps) this might cause problems.
Proper behavior would be to store and manipulate the ZIP code as a string. This would allow not only the correct numerical codes for the US, but also alpha numeric codes used in places like GB or FR.
The ZIP code is being displayed as a number, causing leading zeros to be dropped so 01234 becomes 1234. This is not critical, but if this is ever used someplace else (like to pull up the address in Google Maps) this might cause problems. Proper behavior would be to store and manipulate the ZIP code as a string. This would allow not only the correct numerical codes for the US, but also alpha numeric codes used in places like GB or FR.