@Daveosaurus @xssfox I recently got a financial statement from Canada (alphas) with my post code as 2138 (all US zip codes are 5 digits, it should be 02138), and I'm really surprised it got delivered. Often they aren't, but it's usually just software bugs on domestic shipping. I have to assume there's some corrective procedure that happens on national borders that doesn't happen internally, but who knows?
@vathpela @xssfox One part of my day job involves managing a database of tens of thousands of postal addresses - including overseas ones. About half the US zipcodes are 5 digit - the other half of them are 9 digit. The system is all very relational but we've managed to force it to recognise leading zeros as part of the number.
If only we could force it to do the same with trailing zeros of areas in hectares...