Binary encoder/decoder for efficient transmission of JSON values.