UUID json encoding