Fast JSON encoder/decoder for Python.