Fast JSON encoder/decoder for Python
