JSON output when cast to string