use enhanced (local) json encoder implementation