Guid values shall be formatted as described in 5.1.3 and encoded as a JSON string.