Add int_to_uuid128 streaming API helper