(Simili-)JSON format for toString.