I didn't know that the serialization format was JSON is that a long-term decision? Would a binary format be faster?