tag system ugens: make postings compatible with int32