An experimental binary JSON encoding optimized for numerical data