A simplex JSON encoder and decoder.