JSON smile format + numbers serde tests