Ultra fast JSON encoder and decoder for Python with C extensions providing drop-in compatibility with the standard json module