int_to_uuid

Port of wickedbyte/int-to-uuid. Encodes a non-negative 64-bit unsigned integer and an optional 32-bit namespace into a valid RFC 9562 Version 8 UUID.