correctly encode OIDs near 2^32