A more efficent, alternative encoding for JSON.