Refine data types representing stream sizes, offsets, and positions.