Universal Binary JSON encoder/decoder
