[cl-json-devel] Encoding DOUBLE-FLOAT