JSON encode/decode for SortedSet.