JSON encode/decode for SortedSet