Add int_to_uuid128 streaming API helper
Add int_to_uuid128 streaming API helper