I had some spare time this evening and the thought had hit me that the Fujifilm X100V can output a 4:2:2 10-bit signal in 4K from the HDMI port.