Add JSON encoding helpers.