Use the 5+4 if possible. Most tools (I work on geocoding) will import both and fallback to the 5 digit automatically. Brazil, Nederlands are similar. Just PO boxes is something to keep out of OSM data because they're seen as non-geographic. If in doubt combine them with semicolon. '12345;12345-6789', that's what I see most small post office buildings have