Deprecate int_to_uuid128